Decidability of opacity verification problems in labeled Petri net systems - Archive ouverte HAL Access content directly
Journal Articles Automatica Year : 2017
Not file

Dates and versions

hal-01785998 , version 1 (04-05-2018)

Identifiers

Cite

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⟩
123 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More