Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions

DOI10.1002/asjc.811zbMath1307.93251MaRDI QIDQ5177180

YuFeng Chen, Kamel Barkaoui

Publication date: 10 March 2015

Published in: Asian Journal of Control (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/asjc.811

zbMATH Keywords

supervisory control; Petri net; deadlock prevention; flexible manufacturing system (FMS); uncontrollable transition; unobservable transition

Mathematics Subject Classification ID

90B30: Production models

93A13: Hierarchical systems

93C65: Discrete event control/observation systems

Related Items

Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs

Cites Work

• Unnamed Item
• On structural minimality of optimal supervisors for flexible manufacturing systems
• 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
• Feedback control of Petri nets based on place invariants
• A structured approach to deadlock detection, avoidance and resolution in flexible manufacturing systems
• Petri net supervisors for DES with uncontrollable and unobservable transitions
• Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings
• Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources
• Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
• A simple Suboptimal siphon‐based control model of a well‐known S³PR
• A best deadlock control for S³PMR to reach all states