时间约束工作流模型的简化分析与可调度性验证 Simplification analysis and schedulability verification of timing constraint workflow model.pdf

第14卷第11期 计算机集成制造系统 v01．14No．11 2008年11月 ComputerIntegratedManufacturingSystems Nov．2008 文章编号：1006—5911(2008)11--2217--07 时间约束工作流模型的简化分析 与可调度性验证 庞辉，方宗德，赵勇 (西北工业大学机电学院，陕西西安710072) 摘要：为解决复杂工作流的时间建模与可调度性验证问题，提出了将简化规则应用到Petri网工作流模型中 的方法。首先，给出了时问约束Petri网的相关定义和基于此的工作流建模方法。实现了工作流模型及其时间信息 建模。然后，为了对工作流网的可调度性进行验证和分析．给出了时间约束Petri网时间可调度的概念，并根据时 间约束等价变换原则，提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法。该 方法可以对复杂的工作流模型进行简化，计算模型节点的时间参数，从而完成含有时同信息工作流结构或流程的 时间建模和可调度性分析。最后，以保险索赔为例验证了所提方法的可行性。 关键词：工作流；模型；时间约束Petri网，简化分析}可调度性验证 中图分类号：TP391 文献标识码：A and verificationconstraint model of workflow Simplificationanalysisschedulability timing PANGHui，FANG Zong—de．ZHAOYong (SchoolofMechatronics 710072，China) Engineering，NorthwesternPolytechnicalUniversity，Xi’an Abstract：Todescribetime ina workflowand thetime methodof modelingcomplex systemverify schedulability，a rulesPetrinets tO was of ConstraintsPetriNets applyingsimplification putforward．Firstly，someconceptsTiming ofworkflow basedonTCPNwere tO its (TCPN)andmethods modelworkflow modeling presented includingtempo— conduct ral schedulabilityverificationand inaworkflownet．thedefinitionof information．Secondly，tO analysis time ofTCPNwas to time schedulab