Decentralized Supervisory Control of Petri Nets with Monitor Places | IEEE Conference Publication | IEEE Xplore