Pages that link to "Item:Q2279733"
From MaRDI portal
The following pages link to Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs (Q2279733):
Displayed 3 items.
- Deadlock detection-oriented unfolding of unbounded Petri nets (Q2215072) (← links)
- Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions (Q2224835) (← links)
- Computation of strict minimal siphons in a class of Petri nets based on problem decomposition (Q2293269) (← links)