| 基于时间约束Petri网的工作流动态一致性检验 |
| |
| 引用本文： | 孙智坚,姜浩.基于时间约束Petri网的工作流动态一致性检验[J].计算机技术与发展,2006,16(9):50-53. |
| |
| 作者姓名： | 孙智坚 姜浩 |
| |
| 作者单位： | 东南大学,计算机科学与工程系,江苏,南京,210096 |
| |
| 摘 要： | 工作流系统中的时间管理是工作流建模和分析的重要组成部分。支持动态修改是人们在实际应用中对工作流系统提出的新要求。文中在基于时间约束的Petri网模型基础上，根据时间约束推理规则，提出一种动态修改时间约束时检验工作流一致性的方法，从而丰富了工作流的时间管理功能。
|
| 关 键 词： | 工作流 时间约束Petri网 动态修改 时间一致性 |
Verification of Temporal Consistency in Dynamic Modification of Workflow Based on Time Constraint Petri Nets |
| |
| SUN Zhi-jian,JIANG Hao.Verification of Temporal Consistency in Dynamic Modification of Workflow Based on Time Constraint Petri Nets[J].Computer Technology and Development,2006,16(9):50-53. |
| |
| Authors: | SUN Zhi-jian JIANG Hao |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
