论文部分内容阅读
对Petri网系统并行化一般方法的研究。给出了使用P／T网作为研究对象的原因以及基于P-不变量的Petri网系统分割技术和并行进程创建的条件；提出了非负库所和共享库所进程的并行化条件和方法，并对它们进行证明和实例验证；对不存在P-不变量的Petri网并行化问题进行讨论，确定其不存在并行进程，Petri网不能并行化；提出Petri网系统并行化的一般方法和实现步骤，使其成为各应用领域Petri网系统并行化过程中一种通用的、有效的方法。