Decidability of opacity verification problems in labeled Petri net systems

Yin Tong (1) , Zhiwu Li (1) , Carla Seatzu (2) , Alessandro Giua (3, 4, 2)

1 Xidian University
2 DIEE - Department of Electrical and Electronic Engineering [University of Cagliari]
3 LSIS - Laboratoire des Sciences de l'Information et des Systèmes
4 MOFED - Modèles et Formalismes à Evénements Discrets

Domaines: Automatique / Robotique; Sciences de l'ingénieur [physics]; Automatique

Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua. Decidability of opacity verification problems in labeled Petri net systems. Automatica, 2017, 80, pp.48 - 53. ⟨10.1016/j.automatica.2017.01.013⟩. ⟨hal-01785998⟩