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

DOI10.1093/IMAMCI/DNX024MaRDI QIDQ4967009zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(8)

• Liveness enforcement for production systems modeled by time Petri nets
• A parameterized liveness and ratio-enforcing supervisor for a class of generalized Petri nets
• Structure reduction of liveness-enforcing Petri nets using mixed integer programming
• 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
• Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
• Design of a maximally permissive liveness-enforcing supervisor with reduced complexity for automated manufacturing systems
• On the synthesis of liveness-enforcing supervisors for flexible manufacturing systems using global idle places

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)