%0 Journal Article
%T 计算高级petri网s-不变量的一种简单算法
%A 林闯？
%A 张彤？
%J 软件学报
%P 49-55
%D 1992
%X 在高级petri网的性质分析中,s—不变量的方法是一个重要的方法,如何计算高级petri网的s—不变量是一个重要课题。本文基于复合标志(token)和标志流路的概念,给出了一个整系数线性方程系统,由该线性方程系统,可以得到高级petri网的所有s—不变量,而不必将高级petri网扩展为一般petri网。
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19920307&flag=1