Design of Petri Net Supervisors for Discrete Event Systems With Two Control Specifications | IEEE Conference Publication | IEEE Xplore