张 蕊

(天津机电职业技术学院，天津 300131)

基于Petri网的科研项目管理工作流模型的建立与验证

张 蕊

(天津机电职业技术学院，天津 300131)

本文面向高职校科研项目的管理问题，在给出项目管理过程的工作流模型的基础上，建立了基于Petri网的科研项目管理工作流模型，运用W. M. P van derAalst的工作流网完整性定义及模型化简方法，实现了对该模型正确性和有效性的验证。

Petri网；工作流；工作流网；科研项目管理

高职教育正在逐渐从规模发展转向内涵发展，而科研活动和科研能力是高职院校办学水平的重要参照指标，是发挥学院功能、实现学院价值、彰显学院特色、提升学院认可度的重要方面。高职院校科研管理信息系统可以实现科研管理工作的数字化、流程化，进而提高工作效率。高职院校科研管理工作承担着对高职院校科研方向、任务提出指导性建议的责任，对制定本学院的科研规划、组织项目申报、落实协调科研任务起着直接的领导作用。本文通过Petri网来定义工作流，建立模型，提升了资源的利用率，实现了科研管理的信息化、流程化、数字化。

一、相关概念

定义1(Petri网的定义)：一个三元组NP=(P，T，F)称为一个Petri网，当且仅当它满足下面两个条件：(1)P∩T=Φ；(2)F⊆(P×T)∪(T×P)。其中，P和T分别称为NP的库所(Place)集合和变迁(Transition)集合；F是由一个P元素和一个T元素组成的有序偶的集合，称为NP的流关系(Flowrelation)。

W．M．PvanderAalst基于Petri网提出的工作流网(WF-Net)，专门用于业务流程的建模，是一种特殊的Petri网。

定义2(工作流网的完整性)：当且仅当NP满足三个条件：(1)对于每个初始状态i(只有一个托肯在库所i中)可达的状态M，存在一个变迁序列，可以使系统状态由M转移到终止状态o(只有一个托肯在库所o中)；……