“Decentralized fault diagnosis of discrete event systems using labeled Petri nets”, by Carla Seatzu