Petri网系统并行化方法的研究  

Research on petri net systems parallelization method

作　　者：李文敬[1] 王汝凉[1] 蓝贞雄[1] 

机构地区：[1]广西师范学院计算机与信息工程学院,广西南宁530001

出　　处：《广西大学学报（自然科学版）》2009年第3期400-405,共6页Journal of Guangxi University（Natural Science Edition）

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

摘　　要：对Petri网系统并行化一般方法的研究。给出了使用P/T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件;提出了非负库所和共享库所进程的并行化条件和方法,并对它们进行证明和实例验证;对不存在P-不变量的Petri网并行化问题进行讨论,确定其不存在并行进程,Petri网不能并行化;提出Petri网系统并行化的一般方法和实现步骤,使其成为各应用领域Petri网系统并行化过程中一种通用的、有效的方法。The general parallelization method of Petri net system. The reasons of using P/T Net as a research bject and the conditions is investigated to greate parallel process and the partitioning technique for petri net system based on p-invarants are proposed. The paralletization conditions and methods of Non-negative place and shared place processes are presented and then they are proven and verified. The Petri Nets parallelization problem of the non-existence P-invariant is discussed. It is found that their concurrent processes do not exist and Petri Nets cannot be paral｜elized. The general method and implementation steps for Petri net systems parallelization are proposed, and it is a common and effective method of parallelizing Petri net system in various application areas.

关 键 词：PETRI网 网转换 网分割 创建进程 并行化方法 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]