| 基于Petri网的OA工作流模型研究 |
| |
| 引用本文： | 王歌,杨青,胡金柱.基于Petri网的OA工作流模型研究[J].计算机工程与设计,2007,28(5):1144-1146. |
| |
| 作者姓名： | 王歌 杨青 胡金柱 |
| |
| 作者单位： | 华中师范大学,计算机科学系,湖北,武汉,430079 |
| |
| 基金项目： | 国家重点实验室基金
,
湖北省科技攻关项目 |
| |
| 摘 要： | 通过对办公自动化系统中的发文管理实例的描述,提出了一个基于Petri网的办公自动化工作流建模方法,该方法具有完全形式化的图形表示和坚实的数学基础,是一种工作流建模和分析的理想工具.在建立办公自动化系统的工作流模型的基础上,讨论了基于Petri网的工作流建模方法,并对该方法进行了正确性论证,表明该方法对于办公自动化系统的实用性和高效性.
|
| 关 键 词： | 工作流网 工作流 Petri网 办公自动化 建摸 Petri net 工作流 流模型 研究 based workflow model office automation 高效性 性论 分析 建模方法 数学基础 图形表示 形式化 完全 办公自动化系统 描述 管理实例 发文 |
| 文章编号： | 1000-7024（2007）05-1144-03 |
| 修稿时间： | 2006-03-20 |
Research on office automation workflow model based on Petri net |
| |
| WANG Ge,YANG Qing,HU Jin-zhu.Research on office automation workflow model based on Petri net[J].Computer Engineering and Design,2007,28(5):1144-1146. |
| |
| Authors: | WANG Ge YANG Qing HU Jin-zhu |
| |
| Affiliation: | Department of Computer Science, Huazhong Normal University, Wuhan 430079, China |
| |
| Abstract: | Document management in the office automation system is described,a modeling of Petri-net based on office automation work-flow is presented.Petri-net is a wise choice to model and analyze workflow for its solid mathematical foundations and explicit structures based on graphic.A workflow model which is oriented to office automation is introduced and Petri net-based modeling technology of of-fice automation workflow is discussed.Furthermore,the correctness is proved,application results show that the modeling method is effectiveness and efficiency of office automation system. |
| |
| Keywords: | workflow-net workflow Petri net office automation modeling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
