Petri Net Modeling And Rule Description Of Belt-groups Control System

Belt-groups control system is a typical DECS (Discrete Event Control Systems). Traditional computer control theories like CVDS (Continuous Variable Dynamic Systems) can't describe it effectively. So we need to adopt other methods to modeling it.Based on the deeply studies and analysis on the running states and the control rules of belt-groups control system in this paper, for the "nodes explosion" problem that already existed in basic Petri net modeling for the complex DECS and combining the requirement of belt-groups control system modeling, a OOCPN (Object-oriented colored Petri net) model with inhibit-combination arcs is designed, which is based on the basic Petri net theory and the various extended Petri net. Introduction of inhibit-combination arcs improves the abstract ability of model and simplifies the structure of Petri net model effectively; on the other hand, introduction of object-oriented technology enhances the modular description ability of model. The model's correctness is verified by analyzing its completeness. Meanwhile, in order to solve the problem that the Petri net model is difficultly transformed into program directly, this paper introduces the rule description method which is followed the guidance of Multi-paradigm modeling idea, translating the Petri net model of system into a regularized form, and adding them to a rule library, then compiled into the control system program.Finally, by taking the Petri net model of belt groups control system as an example, this paper illustrates how to translate the Petri net model into the regularized form. The regularized form mentioned above correctly reflects the running rules of system.