Maria Cabasino, Alessandro Giua, Carla Seatzu. Diagnosability of discrete event systems using labeled Petri nets.
IEEE Transactions on Automation Science and Engineering, Institute of Electrical and Electronics Engineers, 2014, 11 (1), pp.144-153.
⟨hal-01479636⟩