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