Petri网顺序序列的测试与判定.docVIP

第七章 Petri网顺序序列的测试与判定 7.1 引言 Petri网合法发射序列的判定问题是网论中一重要研究课题，它是许多网论问题的直接基础，如：时延Petri网的经典的调度问题 [1-3] 和循环调度问题 [12, 14, 16]都能被归结为这类判定问题；Petri网极小初始标识的配置问题 [8-10,13,15] 也能被转化为这类判定问题；还有众所周知的Petri网可达性问题 [4-6] 更是以这类判定问题为基础。 在 [8, 9, 11] 中，Petri网合法发射序列的判定问题被深入研究，多项式判定算法被给出，时间复杂性被分析。研究获知，这类判定问题对于一般Petri网，甚至对于某些自由选择网都是NP-完全问题 [11]。而仅仅对于几个简单网类，如：坚持网、无冲突网和状态机网，这类判定问题才是多项式可解的。文 [16] 考虑了Petri网合法发射序列的判定问题的一个近似问题，从而给出近似问题的一个多项时间算法。由此足见，Petri网合法发射序列的判定问题一般而言是一类困难问题。另一方面，这类问题又是网论中的十分重要而基础的问题。因此，这项工作的每一点推进都是非常重要的。文[21]研究了坚持网、无冲突网和状态机网的同步合成网类，获得了这一网类合法发射序列判定问题的多项式判定算法，从而对以往的工作有了重要推进。在这一章中，我们将着重介绍Petri网的合法发射序列的判定