%0 Journal Article
%T Petri网的标注可达
%A 吴哲辉
%A 蒋昌俊
%J -
%D 1993
%X 本文基于Petri网的可达树的概念,给出标注可达树定义,并且证明网N与其标注可达树是一一对应的,然后,我们给出了网N与相应的标注可达树的相互转换算法
%U http://www.jos.org.cn/jos/ch/reader/view_abstract.aspx?file_no=19930604&flag=1