论文部分内容阅读
Petri网的展开图是一种特殊的并发系统状态空间搜索方法,它不需要重复考虑并发事件的所有可能的交集,从而大大缩减状态空间爆炸给验证分析带来的空间复杂度和时间复杂度。使用展开图分析Petri网的行为属性与传统的Petri网分析方法相比,具有自己的特点。该文首先介绍了Petri网展开图的构造算法,在此基础上使用展开图分析方法对一个典型Petri 网的活性,有界性和可逆性等行为属性进行了分析,并与传统的Petri网分析方法作比较。