一种基于Petri网工作流模型的时间建模方法的设计与实现

摘要

时间管理是工作流管理系统的关键部分,也是工作流技术实施于复杂企业应用的严重局限.时间管理的关键在于时间信息的有效建模.首先概述了时间建模与分析的研究现状,包括时间约束的建模、时序一致性验证与时间违反的处理.其次,在对工作流时间建模现有方法分析和评价的基础上,提出了一种基于Petri网工作流模型的时间建模方法,并在我们研发的工作流系统中得到了实现.同时对其功能和性能进行了评测,并与Quartz进行了比较.最后指出了工作流系统时间管理的不足和发展方向.