论文部分内容阅读
Petri网是一种对并发系统进行描述和建模的重要数学工具,可达图是Petri网模型的主要分析方法。为了解决由于系统参数化造成的Petri模型可达图难以构造并且无法进行模型性质检验的问题，在分析现有参数化可达图方法的基础上,利用参数化标识提出一种新的Petri网模型完全参数化可速图构造方法.同时给出了这种可达图的有关特性及其证明,并举例说明了如何利用这种参数化可达图对系统进行模型性质检测。