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

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