Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets

DOI10.1080/00207170500036076zbMath1085.93016OpenAlexW2075689799MaRDI QIDQ5460613

Hanife Apaydin-Özkan, Aydın Aybar, Altuğ İftar

Publication date: 18 July 2005

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

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

zbMATH Keywords

decentralized controlPetri netscentralized control

Mathematics Subject Classification ID

Design techniques (robust design, computer-aided design, etc.) (93B51) Discrete event control/observation systems (93C65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Modulation and demodulation in information and communication theory (94A14)

Related Items (2)

Unnamed Item ⋮ Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching

Cites Work

• Synthesis of feedback control logic for a class of controlled Petri nets
• Think globally, act locally: decentralized supervisory control
• Blocking and controllability of Petri nets in supervisory control
• On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
• Decentralized supervisory controller design to avoid deadlock in Petri nets
• Overlapping decompositions, expansions, contractions, and stability of hybrid systems
• Net structure and control logic synthesis of controlled Petri nets
• Overlapping decompositions and expansions of Petri nets

This page was built for publication: Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets