基于Petri网的学校公文管理系统的建模与分析

The Modeling and Analysising of the Education's Official Document Management System Based on Petri Net

以办公信息流处理系统为背景,所做的工作主要集中在如何将时间Petri网技术运用在教育公文管理工作流系统的建模中。结合高校公文管理工作流的实际应用环境,提出基于Petri网的公文管理系统工作流模型,并利用Petri网的可达树分析方法,运用具体数据分析了公文管理工作流模型的性能。

With the processing system of official business of information flow,It focuses on how to apply of Petri Net in modeling of education＇s official document management system.This paper presents a model of official document management based on Petri Net,which allows for the real application circumstances of the workflow of document management.Further more,using symbolic reachability analysis,it proves the performance of the model.