摘要
基于Petri网的建模方法具有坚实的数学基础和直观的图形表示,是对工作流建模和分析的理想工具。通过对办公自动化系统中的发文管理实例的描述,提出了一个基于Petri网办公自动化工作流模型,并对该模型进行了正确性验证,提高了办公自动化系统的实用和高效性。
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.
出处
《计算机应用》
CSCD
北大核心
2005年第8期1893-1895,共3页
journal of Computer Applications
