系统仿真学报
繫統倣真學報
계통방진학보
JOURNAL OF SYSTEM SIMULATION
2005年
z1期
118-121,124
,共5页
封富君%林闯%蒋屹新%李俊山
封富君%林闖%蔣屹新%李俊山
봉부군%림틈%장흘신%리준산
Petri网%Kripke结构%工作流%抽象
Petri網%Kripke結構%工作流%抽象
Petri망%Kripke결구%공작류%추상
Petri网是描述工作流的理想建模工具,本文介绍了一种基于抽象方法的工作流模型的分解过程,将工作流网分解为两个满足二元模拟关系的子网,其结果得到工作流模型,并举例说明了基于抽象的工作流模型分解可以减少原始模型Kripke结构的状态数目,为工作流的模型验证提供了一种有效的方法.
Petri網是描述工作流的理想建模工具,本文介紹瞭一種基于抽象方法的工作流模型的分解過程,將工作流網分解為兩箇滿足二元模擬關繫的子網,其結果得到工作流模型,併舉例說明瞭基于抽象的工作流模型分解可以減少原始模型Kripke結構的狀態數目,為工作流的模型驗證提供瞭一種有效的方法.
Petri망시묘술공작류적이상건모공구,본문개소료일충기우추상방법적공작류모형적분해과정,장공작류망분해위량개만족이원모의관계적자망,기결과득도공작류모형,병거례설명료기우추상적공작류모형분해가이감소원시모형Kripke결구적상태수목,위공작류적모형험증제공료일충유효적방법.