Francesco Basile, Alessandro Giua, Carla Seatzu: Decentralized supervisory control of Petri nets with monitor places. ETFA 2005