开放Petri网可达状态求解系统的开发与实现

• 作者: 吴亚光
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 开放Petri网 Petri网生成 可达状态 Petri网规模
• 年，卷（期）: 2016,（1Z）
• 页码范围: 213-215
• 页数: 3页
• 分类号: TP301.1

摘要

Petri网模型是理论计算机科学包括自动机模型和形式语言理论的一个分支,具有自然、直观、简单易懂等特点。开放Petri网是Petri网的一种扩充,在并行模型分析,协议的验证,自动控制等方面有广泛的应用。该文的主要工作在于开发一个可以生成开放Petri网的软件,并能够求解其所有的可达状态,最后通过这样一个软件来研究开放Petri网的可达状态总数随网的规模变化和初始Token数变化而变化的情况。我们得到的结论是在这两种情况下可达状态数都是呈指数增长的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴亚光		2	0	0.0	0.0