| 一种基于Petri网的时间工作流模型的研究与验证 |
| |
| 引用本文： | 李丹,陈启璋,刘强. 一种基于Petri网的时间工作流模型的研究与验证[J]. 计算机工程, 2007, 33(7): 78-80 |
| |
| 作者姓名： | 李丹 陈启璋 刘强 |
| |
| 作者单位： | 清华大学软件学院,北京,100084;清华大学软件学院,北京,100084;清华大学软件学院,北京,100084 |
| |
| 基金项目： | 国家高技术研究发展计划(863计划) |
| |
| 摘 要： | 时间管理是工作流管理软件的重要部分，针对目前工作流系统对时间管理的需求，通过对传统Petri网扩展时间信息来描述时间模型，提出了一种静态验证方法，对模型进行基本验证和任务间的依赖约束验证；实例分析表明，该方法在减少工作量的同时提高了验证的有效性。
|
| 关 键 词： | 工作流 时间模型 时序依赖 静态验证 |
| 文章编号： | 1000-3428（2007）07-0078-03 |
| 修稿时间： | 2006-04-28 |
Research and Verification of Petri-net Based Time Model in Workflo |
| |
| LI Dan,CHEN Qizhang,LIU Qiang. Research and Verification of Petri-net Based Time Model in Workflo[J]. Computer Engineering, 2007, 33(7): 78-80 |
| |
| Authors: | LI Dan CHEN Qizhang LIU Qiang |
| |
| Affiliation: | School of Software, Tsinghua University, Beijing 100084 |
| |
| Abstract: | Time management is an important part of workflow software. This paper presents a time modeling method based on Petrinet, 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. |
| |
| Keywords: | Workflow Time model Temporal dependency Verification |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程》浏览原始摘要信息 |
|
点击此处可从《计算机工程》下载免费的PDF全文 |
