Pages that link to "Item:Q3058342"
From MaRDI portal
The following pages link to Liveness-enforcing supervisors synthesis for a class of generalised Petri nets based on two-stage deadlock control and mathematical programming (Q3058342):
Displaying 10 items.
- Two-stage design method of robust deadlock control for automated manufacturing systems with a type of unreliable resources (Q2213104) (← 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)
- 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)
- An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming (Q2377377) (← links)
- Deadlock control for a class of generalized Petri nets based on proper resource allocation (Q2812823) (← links)
- Suboptimal liveness-enforcing supervisor design for a class of generalised Petri nets using partial siphon enumeration and mathematical programming (Q3063811) (← links)
- Extended Elementary Siphons and Their Application to Liveness‐Enforcement of Generalized <scp>P</scp>etri Nets (Q5177194) (← links)
- Design of T-liveness enforcing supervisors in petri nets (Q5266683) (← links)
- Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software (Q5353204) (← links)
