Decidability of opacity verification problems in labeled Petri net systems

Liste complète des métadonnées

https://hal-amu.archives-ouvertes.fr/hal-01785998
Contributor : Isabel Demongodin <>
Submitted on : Friday, May 4, 2018 - 6:16:00 PM
Last modification on : Wednesday, September 12, 2018 - 1:26:10 AM

Identifiers

Citation

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

Share

Metrics

Record views

119