Deadlock recovery of Petri net models controlled using observers.

Francesco Basile, Pasquale Chiacchio, Alessandro Giua, Carla Seatzu

Browse the full ETFA paper archive.