基于Petri网的工作流建模与分析

Workflow Modelling and Analysis Based on Petri-net

工作流和工作流管理系统的合理应用可大大提高办公自动化的程度。基于Petri网的建模方法具有坚实的理论基础和直观的图形表示，是工作流和工作流管理系统建模和分析的理想工具。文章先讨论基于Petri网的工作流模型的建立和分析，接着给出了该模型在高考招生系统（NACUES）中的应用实例。最后，还针对NACUES系统的分布式特性对该模型扩充了本地工作流间的通信和互操作特性，这一扩充将对分布式查询和招生工作后期各项数据的统计工作有很大的简化作用。

The application of workflow and workflow management system can efficiently speed up the office automation. Petri-net is a wise choice to model and analyze workflow and WFMS for its solid mathematical foundations and explicit structures based on graphic. First,how to model and analyze workflow by Petri-net is presented in the paper. The details of applicaion of the model in the national college & university enrolling system(NACUES) are discussed. In the model presented,local workflows are interorganized and cooperate with each other among different sites cross different platforms.In the end of the paper,the inter-operation characteristic of the model is applied in NACUES to fullfill the requirements of the distributed query and latter data statistics functions.