论文部分内容阅读
可选性判定问题是Petri网理论研究的一个重要课题。已有文献提出通过构造Petri网岛可达树或可覆盖树来分析其可达性。但其中无界量ω的引入导致了无界Petri网运行过程中的信息丢失．使其可达性无法得到判定。众所周知，对于有界Petri网，通过构造其可达性树或可达标识图来判定其可这性是容易的，但对于大量存在的无界Petri网，找到一个能判定其可这性的一般性算法却不太容易。本文给出一个Petri网子类——单触发Petri网。并给出它的一个可达性判定方法。