Modular supervisory control with equivalence-based conflict resolution | IEEE Conference Publication | IEEE Xplore