Efficient design of Petri-net supervisors with disjunctive specifications | IEEE Conference Publication | IEEE Xplore