论文部分内容阅读
该文讨论了一个结构活网的活标识的配置问题,通过对网中所含有的冲突结构的分析,首先详细讨论了不含冲突结构的结构活网的活标识别的配置和标识的单调性研究,并得到该类Petri网活标识的一个充分必要条件,然后对含有冲突的结构活网的活标识的配置方法问题和活标识的单调性问题分别进行了讨论,最后给出利用结构活网的标识单调性来判定一个Petri网活性的算法的初步思路.