Pages that link to "Item:Q2377377"
From MaRDI portal
The following pages link to An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming (Q2377377):
Displayed 3 items.
- Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs (Q2279733) (← links)
- A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems (Q2293066) (← links)
- An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets (Q2314733) (← links)