摘要
为使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.
出处
《计算机工程与设计》
CSCD
北大核心
2009年第16期3758-3761,3770,共5页
Computer Engineering and Design
基金
国家自然科学基金项目(60864001)
广西自然科学基金项目(0731028)
