作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2009, Vol. 35 ›› Issue (21): 48-50,5. doi: 10.3969/j.issn.1000-3428.2009.21.016

• 软件技术与数据库 • 上一篇    下一篇

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

李文敬,廖伟志,王汝凉   

  1. (广西师范学院计算机与信息工程学院,南宁 530001)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2009-11-05 发布日期:2009-11-05

Petri Nets System Function Partition and Its Parallel Algorithm

LI Wen-jing, LIAO Wei-zhi, WANG Ru-liang   

  1. (College of Computer and Information Engineering, Guangxi Teachers Education University, Nanning 530001)
  • Received:1900-01-01 Revised:1900-01-01 Online:2009-11-05 Published:2009-11-05

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

关键词: Petri网, 库所不变量, 划分, 并行性分析, 并行算法

Abstract: 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.

Key words: Petri nets, place-invariants, partition, parallelism analysis, parallel algorithm

中图分类号: