计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2009年
4期
44-47
,共4页
Petri网%汇合性质%T-图%S-图%同步合成%共享合成
Petri網%彙閤性質%T-圖%S-圖%同步閤成%共享閤成
Petri망%회합성질%T-도%S-도%동보합성%공향합성
证明活的标识S-图、活的标识T-图、有界的冲突无关的Petri网、有界的标识T-图具有汇合性质,讨论共享合成与同步合成操作对Petri网汇合性质的保持性,得出由上述简单的Petri网子类通过共享合成及同步合成得到的复杂的网系统也具有汇合性质.通过一个具有汇合性质的复杂网系统实例验证该结论.
證明活的標識S-圖、活的標識T-圖、有界的遲突無關的Petri網、有界的標識T-圖具有彙閤性質,討論共享閤成與同步閤成操作對Petri網彙閤性質的保持性,得齣由上述簡單的Petri網子類通過共享閤成及同步閤成得到的複雜的網繫統也具有彙閤性質.通過一箇具有彙閤性質的複雜網繫統實例驗證該結論.
증명활적표식S-도、활적표식T-도、유계적충돌무관적Petri망、유계적표식T-도구유회합성질,토론공향합성여동보합성조작대Petri망회합성질적보지성,득출유상술간단적Petri망자류통과공향합성급동보합성득도적복잡적망계통야구유회합성질.통과일개구유회합성질적복잡망계통실례험증해결론.
