Wysłany: Czw 11:40, 31 Mar 2011 Temat postu: ghd nederland 基于Petri网&
,timberland portugal 基于Petri网的ECA规则集终止性分析
010000000000001O图4三2的关联矩阵Fig．4三2’Sincidencematrix由C·-，：可得,ghd nederland，-，有非负一不变量，其值为J一E011111111]．由此可以得出，变迁集T,mbt shoes ireland。：{r1．t2，r1．tcd，r2．t(r3．t)，r2．tfd，to，r3．t阳，r4．tr4．t)为-，的支撑架，其在系统,ghd deutschland。中能够或者可能循环发生．因此，所对应的ECA规则系统呈非终止性．4结论对于ECA规则系统，由于其行为较为复杂，因此对其进行终止性分析显得比较困难．在Petri网理论的基础上，提出了一种扩展的Petri网系统，建立了ECA规则集模型，并对模型进行了行为分析．构建模型的可达图，可以从直观上判断ECA规则集的非终止性；而当Petri网系统中包含非负一不变量时,UGG Boots Outlet，则说明所对应ECA规则集呈非终止性．通过实例分析可知，本文所提供的建模和分析方法可以很好地实现对ECA规则集进行终止性分析．
More articles related to topics：
