Research on Methods of Transformation of Petri Nets Systems into the Place/Transition Nets

With the aim of solving the problems of complex Petri nets system parallelization and simulation execution, several methods are proposed to transform senior Petri nets systems, such as color and predicate/transition etc. into the Place/Transition nets, so as to simulate them to run concurrently. In accordance with the characteristics and the internal relations between senior Petri nets of color and predicate/transition, and P/T nets systems, the structural model and algebraic model are studied, and the validity of the methods of transformation is verified through case-studying and programming. Experimental results show that the methods proposed is feasible and effective.