Research on the Application of Discrete Event System Based on Controlled Petri Net | IEEE Conference Publication | IEEE Xplore