论文部分内容阅读
在Petri网中，并发和冲突是两个重要的概念，并发和冲突现象混淆的系统特征称之为混惑，当系统存在混惑时获取一个正确的执行以及分析系统性质较为困难，因而存在混惑的系统不是一个好的模型．网论认为并不是并发和冲突相结合带来了麻烦，而是它们相结合导致的混惑带来了麻烦．所以，对一般Petri网模型混惑的检测及可能影响混惑的子网结构研究显得非常必要．在基本网系统下，以混惑的定义为基础，提出了结构混惑的定义，在此基础上定义了3类基本结构混惑，证明了这3类可构成结构混惑的最小完全集，给出检测结构混惑的算法和混惑的检测方法