基于Petri网的高校创收跟踪审计系统主控模块工作流建模.pdf

第32卷第3期 计 算 技 术 与 自 动 化 V。1．32，N“3 o 1 3 01 andAutomation Sep·2 2 3年9月 Technology Computing = 文章编号：1003—6199(2013)03—0097—03 基于Petri网的高校创收跟踪审计系统 主控模块工作流建模 莫裕清，王 樱，彭顺生 (湖南信息职业技术学院，湖南长沙410200) 摘 要：Petri网通过工作流系统来处理一些大型案例。每个案例有一个唯一的标识，案例在出现和消 失之间总是处于某个特定状态，可以充分运用案例的相关属性使用Petri网建立工作流。高校创收项目全 程跟踪审计系统就是一个典型的工作流案例，主控模块项目、_0--N、项目实施和项目结算，每个模块内部和模 块与模块之间涉及到流程，都需要审批，是工作流的过程。 关键词：Petri网；全程跟踪审计；工作流建模；案例 中图分类号：TPll 文献标识码：A BasedonPetrinetsAudit of TrackingSystemUniversity ControlModuleWorkClass Income-generatingmaster Modelling MO Yu—qing，WANGYing，PENGShun—sheng of 410200，China) (HunanCollegeInformation，Changsha with casehasa nets theworkflowtodeal some cases．Each identifier，case Abstract：Petri system major unique through ina relevant ofusecases Petrinetbasedwork— between and state，the properties using always appeardisappearparticular followaudit isa caseofworkflow，mainmodule flow．CollegeIncome_generatingprojects up systemtypical controllingpro— and settlement。eachmoduleonamoduletOthenextmoduleandinternal jectestablishment．proiectimplementationproject involvesa need a ofworkflow． sameflow，all implementation