scientific article; zbMATH DE number 2088663

MaRDI QIDQ3045261zbMATHFDO

Authors Li Jiao, To-yat Cheung, Weiming Lu

Publication date 12 August 2004

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2360/23600203.htm

zbMATH Keywords

livecharacterizationPetri nethomogeneoussiphonAsymmetric choice netliveness monotonicity

Mathematics Subject Classification ID

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

Recommendations

• Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties
• On liveness and controlled siphons in Petri nets
• On liveness and boundedness of asymmetric choice nets
• Boundedness and liveness monotonicity of new extended strong asymmetric choice nets
• On conditions for the liveness of weakly persistent nets

Cited in

(13)

• Liveness enforcement for production systems modeled by time Petri nets
• Deciding Structural Liveness of Petri Nets
• On liveness and boundedness of asymmetric choice nets
• On liveness and controlled siphons in Petri nets
• Liveness of new extended strong asymmetric choice nets
• Boundedness and liveness monotonicity of new extended strong asymmetric choice nets
• Necessary and sufficient liveness condition of GS³PR Petri nets
• On the siphon-based characterization of liveness in sequential resource allocation systems
• Liveness characterization for GFC systems. I
• Liveness and boundedness analysis of Petri net synthesis
• Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties
• Liveness for synchronized choice Petri nets
• On conditions for the liveness of weakly persistent nets

This page was built for publication:

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