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