| 一种形式化的工作流网模型 |
| |
| 引用本文： | 郑红,宋国新. 一种形式化的工作流网模型[J]. 华东理工大学学报(自然科学版), 2007, 33(1): 93-95,123 |
| |
| 作者姓名： | 郑红 宋国新 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系,上海,200237;华东理工大学计算机科学与工程系,上海,200237 |
| |
| 基金项目： | 教育部科学技术研究重点项目 , 华东理工大学博士基金 |
| |
| 摘 要： | 提出基于Petri网的形式化的工作流网模型,用Petri分析技术对工作流业务流程的动态行为进行了描述和分析,并给出了详细的建模算法。
|
| 关 键 词： | 工作流 工作流管理系统 Petri网 形式化 建模 |
| 文章编号： | 1006-3080（2007）01-0093-03 |
| 收稿时间： | 2006-03-24 |
| 修稿时间： | 2006-03-24 |
A Formal Model of Workflow Net |
| |
| ZHENG Hong,SONG Guo-xin. A Formal Model of Workflow Net[J]. Journal of East China University of Science and Technology, 2007, 33(1): 93-95,123 |
| |
| Authors: | ZHENG Hong SONG Guo-xin |
| |
| Abstract: | A workflow modeling method based on Petri nets is put forward,and dynamic behaviors of workflows are described and analyzed by means of the formal model.The detailed modeling mechanisms are given. |
| |
| Keywords: | workflow workflow management system Petri net formal modeling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
