Pages that link to "Item:Q2377377"

The following pages link to An iterative method for synthesizing non-blocking supervisors for a class of generalized Petri nets using mathematical programming (Q2377377):

Displaying 5 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)
• 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)