Petri网层次结构中的状态一致性研究

摘要：

Petri网被广泛用于建模和分析并行系统,但由于缺少层次结构,使之在实际应用中会遇到因结点数过多而产生状态空间爆炸的问题.针对上述问题,采用自顶向下的方式,运用子网对Petri网中的变迁进行细化操作,建立了整个系统模型的层次结构.其次,讨论了子网在细化变迁过程中容易出现细化前后状态不一致问题.为此,通过对子网结构的限制,提出了具有良好结构的子网,并证明该类子网在细化操作过程中保持了状态一致性.最后,给出子网判定算法并将上述思想在实际例子中进行应用及在开源工具中实现.

关键词：Petri网、细化操作、层次结构、状态一致性、最大流、PIPE工具

所属期刊栏目：36

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目61262024,61379032,61462095;云南省自然科学基金项目2012FD005;云南省教育厅基金项目2013Y365;云南省软件工程重点实验室开放基金项目2012SE309;云南大学“中青年骨干老师培养计划”项目XT412003

在线出版日期：2016-09-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：1481-1486