scientific article; zbMATH DE number 2088663

zbMATH Open1047.68086MaRDI QIDQ3045261FDOQ3045261

Li Jiao, Weiming Lu, To-yat Cheung

Publication date: 12 August 2004

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

Title of this publication is not available (Why is that?)

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)

Cited In (8)

• Liveness and boundedness analysis of Petri net synthesis
• Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties
• Deciding Structural Liveness of Petri Nets
• Liveness for synchronized choice Petri nets
• On liveness and boundedness of asymmetric choice nets
• Liveness characterization for GFC systems. I
• Necessary and sufficient liveness condition of GS³PR Petri nets
• Liveness enforcement for production systems modeled by time Petri nets

   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 👍 👎

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)