Boundedness and liveness monotonicity of new extended strong asymmetric choice nets

zbMATH Open1085.68595MaRDI QIDQ3371679FDOQ3371679

Authors: Wen Song, Liang Zhong Yi, Xingjun Mu 

Publication date: 21 February 2006

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

zbMATH Keywords

structural liveness

Mathematics Subject Classification ID

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

Cited In (6)

• Extended Synchronized Choice Nets
• Liveness of new extended strong asymmetric choice nets
• 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
• Title not available (Why is that?)
• Notes on liveness and boundedness of extended strong asymmetric choice nets. II

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)