Abstract:
Time management is an important part of workflow software. This paper presents a time modeling method based on Petri-net, proposes a static verification rules for the models. With this method, it verifies the basal and the temporal dependency constraints between the activities. At last, it explains with an example.
Key words:
Workflow,
Time model,
Temporal dependency,
Verification
摘要: 时间管理是工作流管理软件的重要部分,针对目前工作流系统对时间管理的需求,通过对传统Petri网扩展时间信息来描述时间模型,提出了一种静态验证方法,对模型进行基本验证和任务间的依赖约束验证;实例分析表明,该方法在减少工作量的同时提高了验证的有效性。
关键词:
工作流,
时间模型,
时序依赖,
静态验证
LI Dan; CHEN Qizhang; LIU Qiang. Research and Verification of Petri-net Based Time Model in Workflo[J]. Computer Engineering, 2007, 33(07): 78-80.
李 丹;陈启璋;刘 强. 一种基于Petri网的时间工作流模型的研究与验证[J]. 计算机工程, 2007, 33(07): 78-80.