基于P-不变量的Petri网并行化方法的研究  

Research on Petri nets parallelization method based on P-invariants

作　　者：李文敬[1] 王汝凉[1] 廖伟志[1] 

机构地区：[1]广西师范学院信息技术系,广西南宁530001

出　　处：《计算机工程与设计》2009年第16期3758-3761,3770,共5页Computer Engineering and Design

基　　金：国家自然科学基金项目(60864001);广西自然科学基金项目(0731028)

摘　　要：为使Petri网系统能够并行执行或模拟运行,提出了基于P-不变量的Petri网并行化方法。根据Petri网系统具有同步与并发的特点,给出基于P-不变量的Petri网模型分割、进程创建条件与并行化分析。在此基础上,提出并行进程创建条件拓展定理并给予证明和实例验证。给出实现并行化所需要解决的Petri网模型行为规范的形式化、P-不变量求解与基于P-不变量的Petri网并行化方法。实验结果表明,基于P-不变量的Petri网系统的并行化方法是可行和有效的。To achieve the parallel process or simulation run in Petri nets system, a parallelization method of Petri nets is put forward. Based on the characteristics of synchronization and concurrence of Petri nets system, partition and conditions of creating parallel process in Petri net models based on the P-invariants are given and its parallelization is analyzed. Based on these, the expansion theorem for parallel process and the creation of the conditions is put forward and proved with examples of verification. The formal code of conduct of Petri net models in the realization of parallelization, P-invariant solution and parallelization method based on the P-invariants are provided. The experimental results show that the parallelization method of Petri net system based on the P-invariants is feasible and effective.

关 键 词：P-不变量 PETRI网 分割 并行进程 并行化方法 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]