On structural minimality of optimal supervisors for flexible manufacturing systems
From MaRDI portal
Publication:361050
DOI10.1016/j.automatica.2012.06.068zbMath1271.93102OpenAlexW2085119635MaRDI QIDQ361050
Publication date: 28 August 2013
Published in: Automatica (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0005109812003342
Petri netdeadlock preventionfirst-met bad marking (FBM)flexible manufacturing system (FMS)place invariant (PI)
Related Items (19)
Supervisor reconfiguration for deadlock prevention by resources reallocation ⋮ Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ On the enforcement of a class of nonlinear constraints on Petri nets ⋮ Synthesis of Petri net supervisors for FMS via redundant constraint elimination ⋮ Deadlock prevention policy with behavioral optimality or suboptimality achieved by the redundancy identification of constraints and the rearrangement of monitors ⋮ Robust deadlock control for automated manufacturing systems with an unreliable resource ⋮ Model identification of unobservable behavior of discrete event systems using Petri nets ⋮ Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions ⋮ Solving the Problem of Forbidden States in Discrete Event Systems: A Novel Systematic Method for Reducing the Number of Control Places ⋮ Editorial: Deadlock analysis and control in resource allocation systems ⋮ A novel method for deadlock prevention of AMS by using resource-oriented Petri nets ⋮ A survey of siphons in Petri nets ⋮ Design of optimal Petri-net controllers for a class of flexible manufacturing systems with key resources ⋮ Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs ⋮ Gradient-based controllers for timed continuous Petri nets ⋮ Deadlock recovery for flexible manufacturing systems modeled with Petri nets ⋮ A suboptimal deadlock control policy for designing non-blocking supervisors in flexible manufacturing systems ⋮ An efficient siphon-based deadlock prevention policy for a class of generalized Petri nets ⋮ A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
- Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places
- Reduction of constraints for controller synthesis based on safe Petri nets
- Feedback control of Petri nets based on place invariants
- Deadlock prevention policy based on Petri nets and siphons
- Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
- An Optimization Approach to Petri Net Monitor Design
- Generalized Algebraic Deadlock Avoidance Policies for Sequential Resource Allocation Systems
This page was built for publication: On structural minimality of optimal supervisors for flexible manufacturing systems
