Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets | IEEE Conference Publication | IEEE Xplore