Petri网系统的功能划分及其并行算法

针对Petri网系统的并行控制与执行，提出Petri网系统的功能划分及其并行算法。采用库所不变量技术对Petri网系统进行功能划分，给出非负库所不变量的功能划分算法。对进程内和进程间的并行性进行分析，给出消息传递环境下Petri网并行算法及应用示例。实验结果表明，该算法能较好地体现Petri网系统的实际运行过程，是实现Petri网系统并行控制和运行的有效方法。

Petri Nets System Function Partition and Its Parallel Algorithm

According to Petri nets system for parallel control and implementation, Petri nets system function partition and its parallel algorithm is put forward. The place-invariants technology of Petri nets for function division is adopted to get the function parting algorithm of Petri nets based on non-negative place-invariants. After the analysis of the parallelism of the internal and in-between process, the parallel algorithm and its application example of Petri nets are given in message passing interface. Experimental results show that the algorithm can better reflect actual running process of Petri nets and it is a feasible and effective method for Petri nets system to achieve parallel control and running.