|
|
计算机科学 1999
正则petri网的研究Keywords: 正则petri网异步并发系统发生率矩阵满秩 Abstract: stateequationmethodbasedonincidencematrix,whichshowsthestructuralpropertyofpetrinets,hasbeenusedwidelyinthereachabilityanalysisotpetrinets.however,duetothestateexplosion,thecomplexityofthismethodincreasedexponentially
|
