Fault model identification and synthesis in Petri nets

Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis, Carla Seatzu. Fault model identification and synthesis in Petri nets. Discrete Event Dynamic Systems, 25(3):419-440, 2015. [doi]