摘要
通过对办公自动化系统中的发文管理实例的描述,提出了一个基于Petri网的办公自动化工作流建模方法,该方法具有完全形式化的图形表示和坚实的数学基础,是一种工作流建模和分析的理想工具。在建立办公自动化系统的工作流模型的基础上,讨论了基于Petri网的工作流建模方法,并对该方法进行了正确性论证,表明该方法对于办公自动化系统的实用性和高效性。
Document management in the office automation system is described, amodelingofPetri-netbasedonofficeautomationworkflow 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 office automation workflow is discussed. Furthermore, the correctness is proved, application results show that the modeling method is effectiveness and efficiencv of office automation system.
出处
《计算机工程与设计》
CSCD
北大核心
2007年第5期1144-1146,共3页
Computer Engineering and Design
基金
国家重点实验室开放研究基金项目(SKLSE-018)
湖北省重点科技攻关基金项目(2005AA101C43)
