Decentralized supervisory controller design to avoid deadlock in Petri nets

DOI10.1080/0020717031000149609zbMATH Open1040.93047OpenAlexW2153738373MaRDI QIDQ4459054FDOQ4459054

Authors: Aydın Aybar, Altuğ İftar 

Publication date: 25 March 2004

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

Full work available at URL: https://doi.org/10.1080/0020717031000149609

Recommendations

• Decentralized structural controller design for large-scale discrete-event systems modelled by Petri nets
• Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets
• Supervisory control of concurrent systems. A Petri net structural approach.
• A branch and bound approach for the design of decentralized supervisors in Petri net models
• Supervisory controller design for timed-place Petri nets

zbMATH Keywords

Petri netsdeadlockoverlapping decompositionsdecentralized supervisory controllerdiserete-event systems

Mathematics Subject Classification ID

Hierarchical systems (93A13) Decentralized systems (93A14) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (8)

• Title not available (Why is that?)
• A branch and bound approach for the design of decentralized supervisors in Petri net models
• Supervisory controller design for timed-place Petri nets
• Synthesis of decentralized supervisor for Petri nets using decomposition with overlapping places
• Modeling and synthesis of supervisory control based on Petri nets for distributed objects. I. Interaction mechanism and the basic method
• Decentralized structural controller design for large-scale discrete-event systems modelled by Petri nets
• Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets
• Title not available (Why is that?)

This page was built for publication: Decentralized supervisory controller design to avoid deadlock in Petri nets

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