时间约束工作流模型的简化分析与可调度性验证

为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.

Simplification analysis and schedulability verification of timing constraint workflow model

To describe time modeling in a complex workflow system and verify the time schedulability,a method of applying simplification rules to Petri nets was put forward.Firstly,some concepts of Timing Constraints Petri Nets(TCPN) and methods of workflow modeling based on TCPN were presented to model workflow including its temporal information.Secondly,to conduct schedulability verification and analysis in a workflow net,the definition of time schedulability of TCPN was given,and according to equivalent transformat...