计算机应用 ›› 2005, Vol. 25 ›› Issue (08): 1893-1895.DOI: 10.3724/SP.J.1087.2005.01893

• 软件开发与方法 • 上一篇    下一篇

基于Petri网的办公自动化工作流建模

鲁晓锋1,王新房2,李燕1,李爱民1   

  1. 1.西安理工大学计算机科学与工程学院; 2.西安理工大学自动化与信息工程学院
  • 发布日期:2011-04-07 出版日期:2005-08-01

Modeling of petri-net-based office automation workflow

LU Xiao-feng1,WANG Xin-fang2,LI Yan1,LI Ai-min1   

  1. 1.School of Computer Science and Engineering,Xian University of Technology,Xian Shaanxi 710048,China; 2.School of Automation and Information Engineering,Xian University of Technology,Xian Shaanxi 710048,China
  • Online:2011-04-07 Published:2005-08-01

摘要: 基于Petri网的建模方法具有坚实的数学基础和直观的图形表示,是对工作流建模和分析的理想工具。通过对办公自动化系统中的发文管理实例的描述,提出了一个基于Petri网办公自动化工作流模型,并对该模型进行了正确性验证,提高了办公自动化系统的实用和高效性。

关键词: Petri网, 工作流, 办公自动化, 建模

Abstract: Petri-net is a wise choice to model and analyze workflow for its solid mathematical foundations and explicit structures based on graphic. This paper discribes document management in the office automation system, presents a modeling of petri-net-based office automation workflow, tests its correctness, and finally improves the effectiveness and efficiency of office automation system.

Key words: petri net, workflow, office automation, modeling

中图分类号: