Boundedness and liveness monotonicity of new extended strong asymmetric choice nets

MaRDI QIDQ3371679zbMATH OpenFDO

Authors Wen Song, Liang Zhong Yi, Xingjun Mu

Publication date 21 February 2006

zbMATH Keywords

structural liveness

Mathematics Subject Classification ID

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

Recommendations

• Liveness of new extended strong asymmetric choice nets
• Notes on liveness and boundedness of extended strong asymmetric choice nets. II
• On liveness and boundedness of asymmetric choice nets
• scientific article; zbMATH DE number 2088663
• Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties

Cited in

(6)

• Notes on liveness and boundedness of extended strong asymmetric choice nets. II
• On liveness and boundedness of asymmetric choice nets
• Problematic configurations and choice-join pairs on Mono-T-Semiflow nets: towards the characterization of behavior-structural properties
• Extended Synchronized Choice Nets
• Liveness of new extended strong asymmetric choice nets
• scientific article; zbMATH DE number 2088663 (Why is no real title available?)

This page was built for publication: Boundedness and liveness monotonicity of new extended strong asymmetric choice nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3371679)