The following publications are possibly variants of this publication:
- On-line fault detection in discrete event systems by Petri nets and integer linear programmingMariagrazia Dotoli, Maria Pia Fanti, Agostino Marcello Mangini, Walter Ukovich. automatica, 45(11):2665-2672, 2009. [doi]
- Decentralized Diagnosis by Petri Nets and Integer Linear ProgrammingXuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li. tsmc, 48(10):1689-1700, 2018. [doi]
- On-line verification of current-state opacity by Petri nets and integer linear programmingXuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li. automatica, 94:205-213, 2018. [doi]
- Critical Observability of Petri Nets with Unknown Initial MarkingXuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li. cdc 2019: 2003-2008 [doi]