基于Petri网的研究生培养工作流模型

Graduate cultivation workflow model based on Petri nets

工作流技术作为实现过程集成管理的有效手段,广泛应用于各种场合,Petri网是一种适合于描述异步并发现象的系统模型,它既有严格的数学定义,又有直观的图形表示,该文简要介绍了工作流、工作流模型以及Petri网的理论,然后对研究生培养过程进行了基于Petri网的模型设计,并对模型进行了化简和合理性证明,结果表明,利用Petri网能够对研究生培养过程进行建模和优化设计。

The workflow technology is an effective measure of realizing process integration management and widely applied on many occasions. The Petri net is a kind of system model that is suitable to de scribe asynchronous and concurrent phenomena, and it has not only strict mathematic definition, but also direct graphic expression. A brief introduction of the workflow, workflow model and Petri net is made in this paper, a workflow model of graduate cultivation based on the Petri net is designed and simplified, and its rationality is also proved. It is indicated that modeling the workflow of graduate cultivation and optimizing the workflow design can be made with the Petri net.