Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties

DOI10.1142/S0129054103001935MaRDI QIDQ5696930zbMATH OpenOpenAlexFDO

Authors Li Jiao, To-yat Cheung

Publication date 19 October 2005

Published in International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0129054103001935

zbMATH Keywords

characterizationtrapsiphonweighted Petri netliveness monotonicity

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2088663
• On liveness and deadlockability in subclasses of weighted Petri nets
• On liveness and controlled siphons in Petri nets
• On deadlockability, liveness and reversibility in subclasses of weighted Petri nets
• Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait
• On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets
• Extended elementary siphons and their application to liveness-enforcement of generalized Petri nets
• Observable liveness of Petri nets
• Liveness for synchronized choice Petri nets
• Applications and Theory of Petri Nets 2005

Cites work

• Free Choice Petri Nets
• Structure theory of equal conflict systems

Cited in

(8)

• A note on regular Petri nets
• On conditions for the liveness of weakly persistent nets
• On deadlockability, liveness and reversibility in subclasses of weighted Petri nets
• On liveness and deadlockability in subclasses of weighted Petri nets
• On liveness and controlled siphons in Petri nets
• Boundedness and liveness monotonicity of new extended strong asymmetric choice nets
• On the fluidization of Petri nets and marking homothecy
• scientific article; zbMATH DE number 2088663 (Why is no real title available?)

This page was built for publication: Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties

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