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

Dynamic Verification and Predication of Temporal Constraints for Workflow Based on Petri

作　　者：谭冠政[1] 肖如健[1] 

机构地区：[1]中南大学信息科学与工程学院,湖南长沙410083

出　　处：《计算机测量与控制》2007年第12期1801-1803,共3页Computer Measurement &Control

基　　金：国家自然科学基金(50275150);高等学校博士学科点专项科研基金(20040533035);湖南省自然科学基金(05jj40128)资助项目

摘　　要：目前,工作流管理系统不能有效的处理时间管理问题,为了动态预测活动发生的时间间隔,验证时间的一致性,预知潜在的时间冲突,首先建立基于时间Petri网的扩展工作流网(XTWF-net),然后根据工作流管理联盟规定的几种基本结构推导出时间预测规则,并采用面向对象技术实现了预测算法,最后给出了动态验证的方法和决策策略。At present, workflow management systems have not sufficiently dealt with the issue of time, In order to predict intervals of activities and verify temporal constraints at run-time, a novel approach for dynamic verification of temporal constraints is proposed. At first, a XTWF-net model is built through extending WF-net. Second, some rules of time prediction are reasoned according five basic structures of workflow. Moreover, prediction algorithm is resulted through OOP technology. At last , a verification method by analyzing temporal relationships and deadline constrains at activities is proposed.

关 键 词：时间PETRI网 工作流 动态验证 截止期限 预测 

分 类 号：TP393.02[自动化与计算机技术—计算机应用技术]