On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach

DOI10.1093/IMAMCI/DNX024zbMATH Open1418.90101OpenAlexW2905536356MaRDI QIDQ4967009FDOQ4967009

Authors:

Publication date: 2 July 2019

Published in: IMA Journal of Mathematical Control and Information (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/753a2855423021bccb51713b89c6e1926b82b66c

Recommendations

• On structural minimality of optimal supervisors for flexible manufacturing systems
• Structure reduction of liveness-enforcing Petri nets using mixed integer programming
• Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• Think-globally-act-locally approach with weighted arcs to the synthesis of a liveness-enforcing supervisor for generalized Petri nets modeling FMSs

zbMATH Keywords

Petri netflexible manufacturing system (FMS)deadlockliveness-enforcing supervisor

Mathematics Subject Classification ID

Reliability, availability, maintenance, inspection in operations research (90B25) Production models (90B30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (8)

• Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
• Structure reduction of liveness-enforcing Petri nets using mixed integer programming
• On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places
• Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systems
• On structural minimality of optimal supervisors for flexible manufacturing systems
• Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
• A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
• Liveness enforcement for production systems modeled by time Petri nets

This page was built for publication: On structural reduction of liveness-enforcing Petri net supervisors for flexible manufacturing systems: an algebraic approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4967009)