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

摘要：

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

关键词：开放Petri网、Petri网生成、可达状态、Petri网规模

所属期刊栏目：12

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

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

页数：共4页

页码：213-215,221