Pages that link to "Item:Q4686523"
From MaRDI portal
The following pages link to On Deadlockability, Liveness and Reversibility in Subclasses of Weighted Petri Nets (Q4686523):
Displaying 5 items.
- On liveness and deadlockability in subclasses of weighted Petri nets (Q1662542) (← links)
- 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 the Reversibility of Live Equal-Conflict Petri Nets (Q2941153) (← links)
- Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties (Q5696930) (← links)