无冲突Petri网的结构活性判定研究

结构活性作为Petri网的重要结构性质，在Petri网活性判定领域具有较高的研究价值。从Petri网有向回路对结构活性的影响入手，分析与判定无冲突Petri网的结构活性，讨论库所元素及其后置变迁之间是否存在有向回路对Petri网结构活性的影响，研究该类Petri网结构活性判定方法的相关条件与结论，得到无冲突Petri网是满足结构活性的充分必要条件。分析结果表明，该判定方法可在多项式时间内判定无冲突Petri网的结构活性。

Research on Structural Liveness Determination of Conflict-Free Petri Net

As a key structural property of Petri nets,the structural liveness plays an important role in the studies of determination of Petri net liveness.This paper considers the influence of directed loops on the structural liveness of Petri nets,and makes a systematic analysis on the structural liveness of conflict-free Petri nets.Specifically,this paper discusses how the structural liveness is influenced by whether directed loops exist between place elements and their post-transitions.On this basis,the conditions and the conclusion of structural liveness determination for this kind of Petri nets are studied,and the conclusion is that the conflict-free Petri nets are the necessary and sufficient condition for structural liveness.The analysis results show that the determination method can determine the structural liveness of conflict-free Petri nets within polynomial time.