基于可替换性Petri网工作流模型合理性验证

时慧晶，李 雄

（昆明船舶设备研究试验中心，昆明650051）

基于可替换性Petri网工作流模型合理性验证

时慧晶，李 雄

（昆明船舶设备研究试验中心，昆明650051）

所谓工作流是一类能够完全或者部分自动执行的业务过程，它根据一系列过程规则、文档、信息或任务能够在不同的执行者之间传递、执行，模型结构的合理性对于工作流来说是至关重要的。提出一种基于WF-net可替换性模型结构合理性验证方法，通过合理且安全的构造块分步构造模型，最终完成对模型的合理性验证。通过对昆明船舶设备研究试验中心的公文发文过程进行分析，利用着色时间Petri网建立工作流模型无需冗杂的计算，此方法适合于复杂工作流模型的合理性验证。

工作流模型；结构合理性；工作流网；可替换性

1 引 言

所谓工作流是一类能够完全或者部分自动执行的业务过程，它根据一系列过程规则、文档、信息或任务能够在不同的执行者之间传递、执行。本文提出一种基于WF-net可替换性的模型结构合理性验证方法，该方法通过合理且安全的构造块，分步构造模型，最终完成对模型的合理性验证。此方法无需冗杂的计算，整个过程直观易懂，适合于复杂工作流模型的合理性验证。

2 工作流模型的合理性定义

对工作流的控制流维度进行建模的Petri网被称做工作流网（WF-net），即利用Petri网对工作流过程进行定义得到的网。对于一个复杂的WF-net来说，仅凭定义判定其合理性显然不容易。合理性对应于活性和有界性［1］。……