Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs

Yufeng Chen (1, 2) , Zhiwu Li (3) , Kamel Barkaoui (4) , Naiqi Wu (5) , Mengchu Zhou (5)

1 CEDRIC - Centre d'études et de recherche en informatique et communications
2 SEE - School of Electronic Engineering [Xidian University]
3 Xidian University
4 CEDRIC - SYS - CEDRIC. Systèmes sûrs
5 Department of Industrial Engineering

Domaines: Informatique [cs]; Systèmes et contrôle [cs.SY]

Yufeng Chen, Zhiwu Li, Kamel Barkaoui, Naiqi Wu, Mengchu Zhou. Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, 47 (2), pp.364-379. ⟨10.1109/TSMC.2016.2521833⟩. ⟨hal-02476553⟩