计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2013年
9期
173-175,233
,共4页
Petri网%工作流%工作流网%可达图%复位弧%合理性
Petri網%工作流%工作流網%可達圖%複位弧%閤理性
Petri망%공작류%공작류망%가체도%복위호%합이성
Petri net%Workflow%Workflow net%Reachability graph%Reset arcs%Rationality
为了满足工作流模型在建模能力上的要求，提出一种添加复位弧对工作流网进行扩展的方法，并给出该方法的形式化表示方法。通过一个保险索赔模型，利用可达图对该方法进行合理性分析。最后，证明了带复位弧工作流模型的合理性是不可判定的。
為瞭滿足工作流模型在建模能力上的要求，提齣一種添加複位弧對工作流網進行擴展的方法，併給齣該方法的形式化錶示方法。通過一箇保險索賠模型，利用可達圖對該方法進行閤理性分析。最後，證明瞭帶複位弧工作流模型的閤理性是不可判定的。
위료만족공작류모형재건모능력상적요구，제출일충첨가복위호대공작류망진행확전적방법，병급출해방법적형식화표시방법。통과일개보험색배모형，이용가체도대해방법진행합이성분석。최후，증명료대복위호공작류모형적합이성시불가판정적。
To satisfy the requirements of workflow model in modelling capability , in this paper we put forward a method to extend the work-flow net by adding the reset arc , and propose its formal representation method .Then, the rationality analysis on this method is made by using an insurance claim model and the reachability graph .Finally, we prove that the rationality of the workflow model with reset arcs is undecid-able.
