Francesco Basile, Pasquale Chiacchio, Alessandro Giua, Carla Seatzu: Deadlock recovery of Petri net models controlled using observers. ETFA (2) 2001: 441-449