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

DOI10.1142/S0129054103001935zbMath1111.68539OpenAlexW2089358966MaRDI QIDQ5696930

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)

Related Items (2)

On the fluidization of Petri nets and marking homothecy ⋮ A note on regular Petri nets

Cites Work

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

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