Colored Petri net control of OR-logic | IEEE Conference Publication | IEEE Xplore