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

基于Petri网高校创收跟踪审计系统主控模块工作流建模 　　作者简介：莫裕清（1977—），女，四川营山人，讲师，硕士，研究方向：计算机软件与应用（E-mail：myq7791@163.com）；王樱（1980—），女，湖南衡阳人，讲师，硕士，研究方向：计算机软件应用。 摘要：Petri网通过工作流系统来处理一些大型案例。每个案例有一个唯一的标识，案例在出现和消失之间总是处于某个特定状态，可以充分运用案例的相关属性使用Petri网建立工作流。高校创收项目全程跟踪审计系统就是一个典型的工作流案例，主控模块项目立项、项目实施和项目结算，每个模块内部和模块与模块之间涉及到流程，都需要审批，是工作流的过程。 关键词：Petri网；全程跟踪审计；工作流建模；案例 中图分类号：TP11文献标识码：A 1引言 Petri网是描述异步的、并发的计算机系统模型，能够表达并发的事件，是自动化理论的一种。Petri网常用于工作流管理、数据分析、并行程序设计和协议验证等[1]。高校创收项目全程跟踪审计系统是当今各个高校审计最新的一种方法与手段，对项目的立项、实施和结算进行全程跟踪，并且通过计算机系统来实现是目前没有的信息化手段，整个系统中审核是主控模块，审核是一种典型的工作流管理模式。 2Petri网与工作流概述 Petri网由库所（Place）（圆形节点）、变迁