计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2012年
10期
2182-2193
,共12页
可重写Petri网%位置可重写Petri网%共享合成Petri网%活性%模拟
可重寫Petri網%位置可重寫Petri網%共享閤成Petri網%活性%模擬
가중사Petri망%위치가중사Petri망%공향합성Petri망%활성%모의
针对Petri网对动态系统重构形式化描述和建模能力的不足,提出了可重写Petri网和位置可重写Petri网的基本概念.分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性质.给出了位置可重写Petri网保持活性的一个充要条件.证明了共享合成Petri网是位置可重写Petri网的一个实例,建立了退化的位置可重写Petri网模拟共享合成Petri网的算法.所得结果能够为动态重构系统的Petri网形式化建模提供理论方法,为大规模动态分布式系统的形式化验证提供有效途径.
針對Petri網對動態繫統重構形式化描述和建模能力的不足,提齣瞭可重寫Petri網和位置可重寫Petri網的基本概唸.分析瞭位置可重寫Petri網保持有界性、保守性、可重複性及活性等性質.給齣瞭位置可重寫Petri網保持活性的一箇充要條件.證明瞭共享閤成Petri網是位置可重寫Petri網的一箇實例,建立瞭退化的位置可重寫Petri網模擬共享閤成Petri網的算法.所得結果能夠為動態重構繫統的Petri網形式化建模提供理論方法,為大規模動態分佈式繫統的形式化驗證提供有效途徑.
침대Petri망대동태계통중구형식화묘술화건모능력적불족,제출료가중사Petri망화위치가중사Petri망적기본개념.분석료위치가중사Petri망보지유계성、보수성、가중복성급활성등성질.급출료위치가중사Petri망보지활성적일개충요조건.증명료공향합성Petri망시위치가중사Petri망적일개실례,건립료퇴화적위치가중사Petri망모의공향합성Petri망적산법.소득결과능구위동태중구계통적Petri망형식화건모제공이론방법,위대규모동태분포식계통적형식화험증제공유효도경.