机构地区: 广西师范学院计算机与信息工程学院
出 处: 《广西大学学报(自然科学版)》 2009年第3期400-405,共6页
摘 要: 对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.
领 域: [自动化与计算机技术] [自动化与计算机技术]