一种基于库所含时间因素的时延Petri网的工作流建模方法

摘要

时间是反映工作流性能的一个重要方面, 立足于实际业务过程对工作流系统时间管理功能的需求, 尤其是针对一些对时间性能要求比较高的工作流系统,提出一种新的基于库所含时间因素的时延Petri网的工作流建模和分析方法,提出一种新的工作流建模工具TPWF-NET(Timed Places WorkFlow-Net),并给出结构完整性的验证方法.