作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑

计算机工程 ›› 2007, Vol. 33 ›› Issue (07): 78-80. doi: 10.3969/j.issn.1000-3428.2007.07.028

• 软件技术与数据库 • 上一篇    下一篇

一种基于Petri网的时间工作流模型的研究与验证

李 丹,陈启璋,刘 强   

  1. (清华大学软件学院,北京 100084)
  • 收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-04-05 发布日期:2007-04-05

Research and Verification of Petri-net Based Time Model in Workflo

LI Dan, CHEN Qizhang, LIU Qiang   

  1. (School of Software, Tsinghua University, Beijing 100084)
  • Received:1900-01-01 Revised:1900-01-01 Online:2007-04-05 Published:2007-04-05

摘要: 时间管理是工作流管理软件的重要部分,针对目前工作流系统对时间管理的需求,通过对传统Petri网扩展时间信息来描述时间模型,提出了一种静态验证方法,对模型进行基本验证和任务间的依赖约束验证;实例分析表明,该方法在减少工作量的同时提高了验证的有效性。

关键词: 工作流, 时间模型, 时序依赖, 静态验证

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