计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2013年
1期
40-42,82
,共4页
李书举%李文敬%罗锦坤%杨文
李書舉%李文敬%囉錦坤%楊文
리서거%리문경%라금곤%양문
Petri网%T-图%子网划分%划分条件%Petri网约简
Petri網%T-圖%子網劃分%劃分條件%Petri網約簡
Petri망%T-도%자망화분%화분조건%Petri망약간
为了解决Petri网并行控制和模拟运行的问题,提出基于T-图的复杂Petri网并行约简方法.根据Petri网的并发性,给出基于T-图的Petri网模型的子网划分原理,提出子网划分的条件,并给出理论证明和实例验证;在此基础上,提出基于T-图的Petri网的子网划分算法,并对其子网划分过程相关概念进行形式化;最后,给出一个银行存取款系统的应用示例,对其Petri网模型的子网划分进行理论分析和算法的编程验证,实验结果与理论分析相一致.实验结果表明,该算法是对复杂结构Petri网进行划分、化简、分析的一种有效方法.
為瞭解決Petri網併行控製和模擬運行的問題,提齣基于T-圖的複雜Petri網併行約簡方法.根據Petri網的併髮性,給齣基于T-圖的Petri網模型的子網劃分原理,提齣子網劃分的條件,併給齣理論證明和實例驗證;在此基礎上,提齣基于T-圖的Petri網的子網劃分算法,併對其子網劃分過程相關概唸進行形式化;最後,給齣一箇銀行存取款繫統的應用示例,對其Petri網模型的子網劃分進行理論分析和算法的編程驗證,實驗結果與理論分析相一緻.實驗結果錶明,該算法是對複雜結構Petri網進行劃分、化簡、分析的一種有效方法.
위료해결Petri망병행공제화모의운행적문제,제출기우T-도적복잡Petri망병행약간방법.근거Petri망적병발성,급출기우T-도적Petri망모형적자망화분원리,제출자망화분적조건,병급출이론증명화실례험증;재차기출상,제출기우T-도적Petri망적자망화분산법,병대기자망화분과정상관개념진행형식화;최후,급출일개은행존취관계통적응용시례,대기Petri망모형적자망화분진행이론분석화산법적편정험증,실험결과여이론분석상일치.실험결과표명,해산법시대복잡결구Petri망진행화분、화간、분석적일충유효방법.