Francesco Basile Alessandro Giua Carla Seatzu Decentralized supervisory control of Petri nets with monitor places. 2005 conf/etfa/2005 ETFA https://doi.org/10.1109/ETFA.2005.1612532 db/conf/etfa/etfa2005.html#BasileGS05