%0 Journal Article %T 有界Petri网的可达图到网图的转换算法 %A 吴哲辉 %A 蒋昌俊 %J - %D 1992 %X 本文给出了有界Petri网的可达标识图到网图的转换算法,对算法的正确性与复杂性分别进行了证明和估计,结果表明该算法是一个多项式算法,因而是有效的 %U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19920104&flag=1