时间约束工作流模型的简化分析与可调度性验证
为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.
工作流、模型、时间约束Petri网、简化分析、可调度性验证
14
TP391(计算技术、计算机技术)
国家发改委专项基金资助项目[2005]-1898
2009-02-18(万方平台首次上网日期,不代表论文的发表时间)
共8页
2217-2223,2230