高级Petri网并行化预处理方法的研究

Pretreatment method of senior Petri nets parallelization

为了解决复杂的Petri网并行化及模拟执行问题,提出将颜色等高级Petri网转化成库所/变迁网(Place/Transition Net)的并行化预处理方法,以便能够对P/T网实现并行化。根据颜色高级Petri网与P/T网系统的特点及其内在联系,从结构模型、代数模型对颜色Petri网转化为P/T网的预处理方法进行研究,并通过实例和编程对预处理方法的正确性和有效性进行验证。实验结果表明,提出的高级Petri网并行化预处理方法是可行而有效的。

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