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]
- An Efficient Fault Diagnosis Approach Based on Integer Linear Programming for Labeled Petri NetsGuanghui Zhu, Lei Feng 0002, Zhiwu Li, Naiqi Wu. tac, 66(5):2393-2398, 2021. [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 Safe Petri Nets via Integer Linear ProgrammingXuya Cong, Maria Pia Fanti, Agostino Marcello Mangini, Zhiwu Li. cdc 2018: 1029-1034 [doi]