Distributed implementations of Ramadge-Wonham supervisory control with Petri nets | IEEE Conference Publication | IEEE Xplore