Pages that link to "Item:Q1662542"
From MaRDI portal
The following pages link to On liveness and deadlockability in subclasses of weighted Petri nets (Q1662542):
Displaying 5 items.
- Efficient synthesis of weighted marked graphs with circular reachability graph, and beyond (Q2032839) (← links)
- Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait (Q2798480) (← links)
- On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets (Q4686523) (← links)
- Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties (Q5696930) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713527) (← links)