一类含时间因素工作流的建模与时间性能挖掘

Modeling and time mining for workflow involving time factors

时间控制和管理是工作流研究中的重要问题,针对一类含时间因素的工作流,给出了Petri网建模方法,分析了含时间因素工作流Petri网的性质。基于工作流Petri网模型及其可达图,深入挖掘了理想主活动线、稳妥主活动线和最佳状态线,分析了影响整个工作流完成时间的决定性因素以及工作流活动安排的最佳安全方案,给出了寻找理想主活动线、稳妥主活动线和最佳状态线的方法,证明了工作流的最佳状态线存在的充分条件。

Time control and management is important in workflow. To deal with a kind of workflow with timing factor, the modeling and analysis methods for this kind of workflow based on Petri net were presented. With the Petri net model and its reachable graph, the ideally main activities, the reliable main activities and the optimal state schema were discussed in detail. Determining factors influencing completion time of overall workflow and the best schema for the workflow scheduling were analyzed. Furthermore searching methods for the ideally main activities, the reliable main activities and the optimal state schema were provided. Finally the sufficient conditions were also obtained for the existence of the optimal state schema of any timing workflow.