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 5 items.
- 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)
- 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)
