基于Petri网的工作流时间动态预测及验证

目前，工作流管理系统不能有效的处理时间管理问题，为了动态预测活动发生的时间间隔，验证时间的一致性，预知潜在的时间冲突，首先建立基于时间Petri网的扩展工作流网(XTWF一net)，然后根据工作流管理联盟规定的几种基本结构推导出时间预测规则，并采用面向对象技术实现了预测算法，最后给出了动态验证的方法和决策策略。工作  流  目前面临的一个挑战是工作流的时间管理，WFMS对此没有做出相关规定，实际应用中对时间的控制管理要求日益紧迫，时间问题限制了工作流的广泛应用川。许多学者开展了相关研究，比如Eder「2一3二基于赋时活动图，建立包含活动时间属性的工作流模型;Ma巧anovi沙〕引人延迟空间对不同的时间约束进行可视化描述。W.M.P.vanderAalst对复杂工作流模型结构性质进行了分析仁‘一5〕，在时间推理方面BetiniC等人进行了研究田。但是将Petri网与工作流结合处理时间问题的不多，且只对流程的几种基本结构分别给出推理规则川，不利于计算机计算，并且局限于静态验证。本文的贡献在于:①利用Petri网成熟的建模优势与工作流应用结合建立了一个基于时间Petri网的扩展工作流网(XTWF一net)。②通过分析工作流程基本结构推导出适合非循环结构的时间动态预测规则。③采用面向对象技术和深度优先策略实现了时间预测算法。④提出了截止期限验证方法和决策策略。