![](/img/cover-not-exists.png)
Decidability of opacity verification problems in labeled Petri net systems
Tong, Yin, Li, Zhiwu, Seatzu, Carla, Giua, AlessandroVolume:
80
Language:
english
Journal:
Automatica
DOI:
10.1016/j.automatica.2017.01.013
Date:
June, 2017
File:
PDF, 682 KB
english, 2017