论文部分内容阅读
为了解决现有Ｐｅｔｒｉ网分析工具（可达性树和矩阵方程）不能很好对扩展型Ｐｅｔｒｉ网进行分析的问题，提出了用Ｓｉｇｎａｌ语言对扩展型Ｐｅｔｒｉ网进行分析的方法，Ｓｉｇｎａｌ语言不仅能够解答扩展型Ｐｅｔｒｉ网安全性，有界性等问题，还能够直观地表示扩展型Ｐｅｔｒｉ网中各变量之间的约束关系及特性，更好地揭示网络的动态变化行为。