计算高级petri网s-不变量的一种简单算法

在高级petri网的性质分析中,s—不变量的方法是一个重要的方法,如何计算高级petri网的s—不变量是一个重要课题。本文基于复合标志(token)和标志流路的概念,给出了一个整系数线性方程系统,由该线性方程系统,可以得到高级petri网的所有s—不变量,而不必将高级petri网扩展为一般petri网。