Decentralized supervisory controller design to avoid deadlock in Petri nets

DOI10.1080/0020717031000149609MaRDI QIDQ4459054zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

deadlockdecentralized supervisory controllerdiserete-event systemsoverlapping decompositionsPetri nets

Mathematics Subject Classification ID

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

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

Cited in

(8)

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

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)