Petri网模型参数化可达图研究

摘要：

Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题，在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可速图构造方法.同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。

关键词： Petri网 并发系统 参数化可达图 模型性质检测

作者: 宋佳兴 林闯

作者单位: 清华大学计算机科学与技术系 北京 100084

会议类型: 国内会议

会议名称: 第十一届全国Petri网理论与应用学术年会

会议地点: 大连

会议语种:中文

页码: 38-43

在线出版日期: 2007-08-01（万方平台首次上网日期，不代表论文的发表时间）