论文部分内容阅读
基于路增益概念,证明了无回路加权事件图位置不变量的存在性,并给出了其位置不变量集合的表达形式和最小位置不变量的计算方法。讨论了两个Petri网基于位置并的位置不变量,通过把无回路Petri网分解成一些加权事件图基于位置的并,给出了无回路Petri网位置不变量的存在性判别及确定的几何方法。