The Research And Application Of Unifying Petri Nets Based On Parameterized Net Classes

This thesis introduces the concept of parameterized net classes in order to allow a uniform approach to different kinds of Petri net classes, that is the theory of unifying Petri nets. We also study the design and development of the simulation tool of Petri Nets based on the unifying Petri nets. Then an example is illustrated to explain the significance of the simulation tool that we are developing. The thesis firstly illustrates the formal definitions of several familiar types of Petri nets and the representation approaches of parameterized net classes, which include set-theoretical approach and categorial approach. Meanwhile, the formal definition of parameterized net classes with excution rule is proposed to support the simulation of Petri net model. Based on parameterized net classes, the thesis realizes the actualization of colored Petri nets by employing the notions of algebraic specification to enrich the theory of unifying Petri nets. The theory of unifying Petri nets contributes to the applications of practical systems and tool development. In this thesis, we design and develop the simulation tool to make the tool not confined to specific Petri net type. The tool is designed by using the design mode of MVC (Model-View-Controller). It includes three parts that are the implementation of parameterized net classes, the design of property analysis module and the design of file format. Finally, we illustrate an AAW (Anti-Air Warfare system) example to explain how to choose Petri net type and conduct performance evaluation. And it shows the significance of the tool that is based on the theory of unifying Petri nets.