%0 Journal Article
%T 正则petri网的研究
%A 熊超越 丁国俊？
%J 计算机科学
%D 1999
%X stateequationmethodbasedonincidencematrix,whichshowsthestructuralpropertyofpetrinets,hasbeenusedwidelyinthereachabilityanalysisotpetrinets.however,duetothestateexplosion,thecomplexityofthismethodincreasedexponentially
%K 正则petri网异步并发系统发生率矩阵满秩
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=11298683&flag=1