Pages that link to "Item:Q2798480"
From MaRDI portal
The following pages link to Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait (Q2798480):
Displaying 7 items.
- Comments on ``Liveness of an extended \(\operatorname{S}^3 \operatorname{PR}\)'', [automatica 46 (2010) 1008-1018] (Q466321) (← links)
- Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
- Liveness of an extended S\(^{3}\)PR (Q976266) (← links)
- On liveness and deadlockability in subclasses of weighted Petri nets (Q1662542) (← links)
- Deciding Structural Liveness of Petri Nets (Q2971127) (← links)
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (Q4575107) (← links)
- Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties (Q5696930) (← links)
