S-invariant相关论文
根据矩阵理论提出了计算Petri网S不变量和T不变量的一种比较简单和通用的算法,基于数理逻辑得到求解Petri网虹吸和陷阱的一般方法.......
本文提出了一种新的求解网的S-不变量的方法。这种方法的基本思路是把一个网看作一个有向图，通过寻找网N的S-封闭基本有向贯通路簇......
本文介绍了Petri网和数据链路层协议的一个Petri网模型，并且用S不变式和T不变式证明了该网的活性及其它性质。......
