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