Control System Design Based On An Extended High-Level Petri Net

A discrete event control system is going to be a software-intensive system, and its design is a costly, time-consuming, troublesome, and boring task. The requirement of control system specification constantly and diversely changes which results in the problem that the control software is hard to program and test. In order to deal with the problem, the theory of control system design based a high level extended Petri net is discussed in this paper. Firstly, OOPN theory is presented to reduce the complexion of the Petri net model. Then, EOOPN theory is presented for the design of the discrete event control system, and the theory and the methods of the control system automatic code generation based on C++ language are investigated. EOOPN modeling is applied to an engineering example, a circular and mechanical car-house developed by our research group, and the process of the control system design is discussed in detail. Finally, the idea of the control system platform based on EOOPN is briefly given. The author devotes himself to making some investigations deeply on the theory mentioned above, and attempts to denote a new way for the design of the control system.