Notes on liveness and boundedness of extended strong asymmetric choice nets. II

DOI10.1007/BF02948960zbMath1010.68097MaRDI QIDQ5959363

Li Jiao, Weiming Lu

Publication date: 3 April 2002

Published in: Journal of Computer Science and Technology (Search for Journal in Brave)

zbMATH Keywords

extended free choice netsextended strong asymmetric choice nets

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Notes on liveness and boundedness of extended strong asymmetric choice nets. II

Cites Work

• A polynomial-time algorithm to decide liveness of bounded free choice nets
• Marked directed graphs
• Notes on liveness and boundedness of extended strong asymmetric choice nets. II
• Unnamed Item
• Unnamed Item

This page was built for publication: Notes on liveness and boundedness of extended strong asymmetric choice nets. II