| Petri网展开图法的分析和应用 |
| |
| 引用本文： | 王宇凡,屈玉贵,赵保华.Petri网展开图法的分析和应用[J].计算机仿真,2006,23(1):100-104. |
| |
| 作者姓名： | 王宇凡 屈玉贵 赵保华 |
| |
| 作者单位： | 1. 中国科学技术大学,电子工程与信息科学系,安徽,合肥,230027
2. 中国科学技术大学,计算机科学与技术系,安徽,合肥,230027 |
| |
| 基金项目： | 中国科学院资助项目;中国科学院资助项目;国家科技攻关项目;科技部科研项目;国家重点实验室基金 |
| |
| 摘 要： | Petri网的展开图是一种特殊的并发系统状态空间搜索方法，它不需要重复考虑并发事件的所有可能的交集，从而大大缩减状态空间爆炸给验证分析带来的空间复杂度和时间复杂度。使用展开图分析Petri网的行为属性与传统的Petri网分析方法相比，具有自己的特点。该文首先介绍了Petri网展开图的构造算法，在此基础上使用展开图分析方法对一个典型Petri网的活性，有界性和可逆性等行为属性进行了分析，并与传统的Petri网分析方法作比较。
|
| 关 键 词： | 展开图 派粹网 事件网 |
| 文章编号： | 1006-9348(2006)01-0100-05 |
| 收稿时间： | 2004-09-21 |
| 修稿时间： | 2004年9月21日 |
Analysis and Application of Unfolding Method in Petri Nets |
| |
| WANG Yu-fan,QU Yu-gui,ZHAO Bao-hua.Analysis and Application of Unfolding Method in Petri Nets[J].Computer Simulation,2006,23(1):100-104. |
| |
| Authors: | WANG Yu-fan QU Yu-gui ZHAO Bao-hua |
| |
| Abstract: | Unfolding of Petri nets is a special method for exploring the state space of concurrent systems, which excludes the possible intersection of concurrent events so as to greatly reduce the complexity degree of space and time from state space explosion. In contrast to the traditional analyzing method of Petri nets, the unfolding method has some merits. In this paper, an algorithm for constructing an unfolding of a Petri net is introduced at first, and then, some behavioral properties, such as liveness, boundedness and reversibility of a typical Petri net are analyzed with its unfolding. In conclusion, the comparison between traditional analyzing method and unfolding method of Petri nets is mentioned. |
| |
| Keywords: | Unfolding Petri nets Occurrence nets |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
