Synthesis of Petri net supervisors for FMS via redundant constraint elimination

DOI10.1016/j.automatica.2015.08.011zbMath1327.93268OpenAlexW1898889072MaRDI QIDQ900668

Bo Huang, Gongxuan Zhang, Meng Chu Zhou

Publication date: 22 December 2015

Published in: Automatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.automatica.2015.08.011

zbMATH Keywords

linear programmingPetri netsflexible manufacturing systemdeadlockredundancy reduction

Mathematics Subject Classification ID

Integer programming (90C10) System identification (93B30) Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65)

Related Items (3)

Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs ⋮ Resource failure and buffer space allocation control for automated manufacturing systems ⋮ A deadlock control algorithm using control transitions for flexible manufacturing systems modelling with Petri nets

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
• Macro liveness graph and liveness of \(\omega\)-independent unbounded nets
• Linear and nonlinear programming.
• A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
• Deadlock prevention policy based on Petri nets and siphons

This page was built for publication: Synthesis of Petri net supervisors for FMS via redundant constraint elimination