计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2009年
6期
51-54,57
,共5页
Petri网%工作流%合理性%模型化简
Petri網%工作流%閤理性%模型化簡
Petri망%공작류%합이성%모형화간
目前,工作流系统向大型化发展,这使得基于可达图的验证技术在对大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.文中介绍两种化简规则.这些规则将一个大的Petri网化简为更小的Petri网,同时保持合理性属性,保证化简后的Petfi网和原有的Petri网具有相同的属性.介绍了Petri网、Workflow Petri网和过程合理性定义;讨论了针对Petri网的两种化简技术;提出了工作流过程模型结构合理性验证过程.
目前,工作流繫統嚮大型化髮展,這使得基于可達圖的驗證技術在對大型模型進行驗證時麵臨著狀態空間爆炸的問題.因此,在過程驗證之前,對大型模型進行化簡是必要的.文中介紹兩種化簡規則.這些規則將一箇大的Petri網化簡為更小的Petri網,同時保持閤理性屬性,保證化簡後的Petfi網和原有的Petri網具有相同的屬性.介紹瞭Petri網、Workflow Petri網和過程閤理性定義;討論瞭針對Petri網的兩種化簡技術;提齣瞭工作流過程模型結構閤理性驗證過程.
목전,공작류계통향대형화발전,저사득기우가체도적험증기술재대대형모형진행험증시면림착상태공간폭작적문제.인차,재과정험증지전,대대형모형진행화간시필요적.문중개소량충화간규칙.저사규칙장일개대적Petri망화간위경소적Petri망,동시보지합이성속성,보증화간후적Petfi망화원유적Petri망구유상동적속성.개소료Petri망、Workflow Petri망화과정합이성정의;토론료침대Petri망적량충화간기술;제출료공작류과정모형결구합이성험증과정.
