defgf67ay
Dołączył: 29 Paź 2010
Posty: 863
Przeczytał: 0 tematów
Ostrzeżeń: 0/5
Skąd: England
|
 Wysłany: Czw 11:40, 31 Mar 2011 Temat postu: ghd nederland 基于Petri网& |
 |
|
,[link widoczny dla zalogowanych]
基于Petri网的ECA规则集终止性分析
010000000000001O图4三2的关联矩阵Fig．4三2’Sincidencematrix由C·-，：可得,[link widoczny dla zalogowanych]，-，有非负一不变量，其值为J一E011111111]．由此可以得出，变迁集T,[link widoczny dla zalogowanych]。：{r1．t2，r1．tcd，r2．t(r3．t)，r2．tfd，to，r3．t阳，r4．tr4．t)为-，的支撑架，其在系统,[link widoczny dla zalogowanych]。中能够或者可能循环发生．因此，所对应的ECA规则系统呈非终止性．4结论对于ECA规则系统，由于其行为较为复杂，因此对其进行终止性分析显得比较困难．在Petri网理论的基础上，提出了一种扩展的Petri网系统，建立了ECA规则集模型，并对模型进行了行为分析．构建模型的可达图，可以从直观上判断ECA规则集的非终止性；而当Petri网系统中包含非负一不变量时,[link widoczny dla zalogowanych]，则说明所对应ECA规则集呈非终止性．通过实例分析可知，本文所提供的建模和分析方法可以很好地实现对ECA规则集进行终止性分析．
More articles related to topics：
ghd outlet 黄茶的HT-29人体结肠癌细胞的体外抗癌效果
ugg boots ireland 溃坝问题数学模型研究_2386
[link widoczny dla zalogowanych]
Post został pochwalony 0 razy
|
|
