Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties
From MaRDI portal
Publication:5696930
DOI10.1142/S0129054103001935zbMath1111.68539MaRDI QIDQ5696930
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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Cites Work