Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties
From MaRDI portal
Publication:5696930
DOI10.1142/S0129054103001935zbMATH Open1111.68539OpenAlexW2089358966MaRDI QIDQ5696930FDOQ5696930
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
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
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
- Title not available (Why is that?)
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)
