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

From MaRDI portal