Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua: Verification of initial-state opacity in Petri nets. CDC 2015: 344-349