Pages that link to "Item:Q5252903"
From MaRDI portal
The following pages link to Necessary and sufficient liveness condition of GS<sup>3</sup>PR Petri nets (Q5252903):
Displaying 10 items.
- Deadlock and liveness characterization for a class of generalized Petri nets (Q780961) (← links)
- On commoner's liveness theorem and supervisory policies that enforce liveness in free-choice Petri nets (Q1391343) (← links)
- Robust deadlock control of automated manufacturing systems with multiple unreliable resources (Q2004755) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs (Q2279733) (← links)
- New controllability condition for siphons in \(\mathrm{WS}^{3}\mathrm{PR}\) nets (Q2789998) (← links)
- Deciding the liveness for a subclass of weighted Petri nets based on structurally circular wait (Q2798480) (← links)
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs (Q4575107) (← links)
- A resource configuration method for liveness of a class of Petri nets (Q4684002) (← links)
- Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets (Q5177194) (← links)