The following publications are possibly variants of this publication:
- Verification of State-Based Opacity Using Petri NetsYin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua. tac, 62(6):2823-2837, 2017. [doi]
- Verification of current-state opacity using Petri netsYin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua. amcc 2015: 1935-1940 [doi]
- Verification of initial-state opacity in Petri netsYin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua. cdc 2015: 344-349 [doi]
- Efficient verification of a class of time Petri nets using linear programmingXuandong Li, Johan Lilius. ipl, 77(5-6):219-224, 2001. [doi]