10.3969/j.issn.1000-3428.2007.07.028
一种基于Petri网的时间工作流模型的研究与验证
时间管理是工作流管理软件的重要部分,针对目前工作流系统对时间管理的需求,通过对传统Petri网扩展时间信息来描述时间模型,提出了一种静态验证方法,对模型进行基本验证和任务间的依赖约束验证;实例分析表明,该方法在减少工作量的同时提高了验证的有效性.
工作流、时间模型、时序依赖、静态验证
33
TP311(计算技术、计算机技术)
国家高技术研究发展计划863计划2004AA413120
2007-05-28(万方平台首次上网日期,不代表论文的发表时间)
共3页
78-80