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

　第 32 卷 第 1 期 合 肥 工 业 大 学 学 报 ( 自 然 科 学 版 ) Vol . 32 No . 1 　 　2009 年 1 月 J OU RN AL O F H EF EI UN IV ER SIT Y O F T EC HN OL O GY J an . 2009 　 基于 Pet ri 网的研究生培养工作流模型 程建军 (合肥工业大学 计算机与信息学院 ,安徽 合肥 　230009) 摘 　要 :工作流技术作为实现过程集成管理的有效手段 ,广泛应用于各种场合 , Pet ri 网是一种适合于描述异 步并发现象的系统模型 ,它既有严格的数学定义 ,又有直观的图形表示 ,该文简要介绍了工作流 、工作流模型 以及 Pet ri 网的理论 ,然后对研究生培养过程进行了基于 Pet ri 网的模型设计 ,并对模型进行了化简和合理性 证明 ,结果表明 ,利用 Pet ri 网能够对研究生培养过程进行建模和优化设计 。 关键词 :Pet ri 网; 工作流模型 ; 化简 中图分类号 : TP39 1 　　　文献标识码 :A 　　　文章编号 (2009) 0 1007804 Graduate cultivation workflow model based on Petri nets C H EN G J ianj un ( School of Comp ut er and Infor mation , Hefei U niver sit y of Technology , Hefei 230009 , China) Abstract :The wor kflow t echnolo gy i s an eff ective mea sure of realizing p roce ss int egratio n management an d widely app lied on many occa sion s. The Pet ri net i s a kind of sy st em mo del t hat i s suit able to de scribe a synchro nou s and concur rent p heno mena ,and it ha s not only st rict mat hematic definition , but al so direct grap hic exp re ssion . A brief int ro ductio n of t he wor kflow , wor kflow mo del an d Pet ri net i s made in t hi s p ap er , a wor kflow mo del of graduat e cultivation ba sed on t he Pet ri net i s de signed an d simp lified , and it s ratio nalit y i s al so p roved . It i s in dicat ed t hat mo deling t he wor kflow of graduat e cultivation and op timizin g t he wor kflow de sign can be made wit h t he Pet ri net . Key words :Pet ri net ; wor kflow mo del ; simp lification 如业务过程的开始和终止条件 、各个工作环节及 0 　引　　言 相互之间的控制流动与数据流动关系