微计算机信息
微計算機信息
미계산궤신식
CONTROL & AUTOMATION
2009年
15期
219-221
,共3页
赵军富%靳荣%马胜梅%刘玉平
趙軍富%靳榮%馬勝梅%劉玉平
조군부%근영%마성매%류옥평
Petri网%工作流%合理性%模型化简
Petri網%工作流%閤理性%模型化簡
Petri망%공작류%합이성%모형화간
随着工作流系统趋于大型化,使得可达图的验证技术对于大型模型进行验证时面临着状态空间爆炸的问题.因此,在过程验证之前,对大型模型进行化简是必要的.本文通过引入Petri网、Workflow Petri网和过程合理性定义,采用Petri网的两种化简技术,实现了工作流过程模型结构合理性验证过程.
隨著工作流繫統趨于大型化,使得可達圖的驗證技術對于大型模型進行驗證時麵臨著狀態空間爆炸的問題.因此,在過程驗證之前,對大型模型進行化簡是必要的.本文通過引入Petri網、Workflow Petri網和過程閤理性定義,採用Petri網的兩種化簡技術,實現瞭工作流過程模型結構閤理性驗證過程.
수착공작류계통추우대형화,사득가체도적험증기술대우대형모형진행험증시면림착상태공간폭작적문제.인차,재과정험증지전,대대형모형진행화간시필요적.본문통과인입Petri망、Workflow Petri망화과정합이성정의,채용Petri망적량충화간기술,실현료공작류과정모형결구합이성험증과정.
