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

《基于petri网高校创收跟踪审计系统主控模块工作流建模》由会员上传分享，免费在线阅读，更多相关内容在行业资料-天天文库。

1、基于Petri网高校创收跟踪审计系统主控模块工作流建模　　作者简介：莫裕清（1977—），女，四川营山人，讲师，硕士，研究方向：计算机软件与应用（E-mail：myq7791@163.com）；王樱（1980—），女，湖南衡阳人，讲师，硕士，研究方向：计算机软件应用。摘要：Petri网通过工作流系统来处理一些大型案例。每个案例有一个唯一的标识，案例在出现和消失之间总是处于某个特定状态，可以充分运用案例的相关属性使用Petri网建立工作流。高校创收项目全程跟踪审计系统就是一个典型的工作流案例，主控模块项目立项、项目实施和项目结算，每个模块内部和模块与模块之间涉及到流程，都需要审批，是工作流的过程

2、。关键词：Petri网；全程跟踪审计；工作流建模；案例中图分类号：TP11文献标识码：A1引言6Petri网是描述异步的、并发的计算机系统模型，能够表达并发的事件，是自动化理论的一种。Petri网常用于工作流管理、数据分析、并行程序设计和协议验证等[1]。高校创收项目全程跟踪审计系统是当今各个高校审计最新的一种方法与手段，对项目的立项、实施和结算进行全程跟踪，并且通过计算机系统来实现是目前没有的信息化手段，整个系统中审核是主控模块，审核是一种典型的工作流管理模式。2Petri网与工作流概述Petri网由库所（Place）（圆形节点）、变迁（Transition）（方形节点）、有向弧（Conne

3、ction）（库所和变迁之间的有向弧）和令牌（Token）（即权标）（库所中的动态对象，可以从一个库所移动到另一个库所，可以用小黑圆点表示）四个元素构成[1]。如图1所示。如果一个变迁的每个输入库所（inputplace）都拥有令牌，该变迁即为被允许（enable）。一个变迁被允许时，变迁将发生（fire），输入库所（inputplace）的令牌被消耗，同时为输出库所（outputplace）产生令牌[2]。注意，Petri网有向弧是有方向的，两个库所或变迁之间不允许有弧，库所可以拥有任意数量的令牌。如果两个变迁争夺一个令牌就会出现冲突。6工作流由一个与特定过程相关的案例资源和触发组成。一个工

4、作流程用于处理一些前后有关联的案例，案例的处理是通过有序地执行一系列任务（task）实现的。每一个案例都有一个唯一的标识，案例在出现和消失之间总是处于某个特定状态[3]。任务是一个工作的逻辑单元，它是不可分割的，必须完整的执行。过程是案例的执行方式由过程来描述，任务执行过程描述了哪些任务需要被执行，以什么次序执行。同时它也定义了案例的生命周期。路由是过程的执行称为案例的“路由”。分为顺序路由、并行路由、选择路由、循环路由，在高校创收项目全程跟踪审计系统中，顺序路由和并行路由是主控模块中常见的工作流路由。利用Petri网对工作流程进行建模的方法很直接，任务可以用变迁（transition）来建模

5、，任务的条件（有时也称为诱发关系（causalrelation））可以用库所（place）来建模，案例可以用权标（token）（权标也即令牌）来建模[4]。3高校创收跟踪审计系统中主控模块工作流系统的体系结构如图2所示。主控模块由项目立项、项目实施、项目报账三大部分组成。三个模块不是孤立存在的，项目实施依赖于项目立项，项目实施完成后才能进行项目财务报账操作，是一个工作流的过程。而每个模块内部又是一个工作流，每个模块内部审核都要有超时控制。3.1项目立项模块工作流项目立项必须经过网络审核最终确定项目是否立项，该过程的结果在整个项目中起到关键作用，审核通过项目立项后才能进行下一步工作，它起到启后的

6、作用。在立项阶段对项目立项按照工作流进行，首先普通审核，再进行高级审核，然后审计监管部门审核，最后进入超级审核。6立项模块的工作流如图3所示。可操作用户上传可行性分析报告和立项表，普通审核用户审核通过后，自动抽取两个高级审核用户进入下一级审核，审核完毕后，审核意见传入审计监管部门审核，进行综合高级审核用户意见，若发现高级审核用户有一个审核没有通过，则审计监管部门审核意见为不同意，如果高级审核用户审核意见都同意，则审计监管部门审核意见为同意。审计监管部门的审核意见作为主要意见传入超级审核用户，超级审核用户根据审计监管部门的审核意见，完成整个项目的立项审核，如果不同意立项，将审核意见返回给可操作用

7、户，如果同意立项，项目同意立项[6]。3.2项目实施管理模块工作流6创收项目在实施过程中的管理是整个项目审计监管中最重要的环节，如果这个环节出现问题，整个项目的审计监管就失去作用[5]。一个项目的效益体现就在这个环节中，为了很好的监督管理，提搞资金审计效益，对项目进行网络和实地跟踪检查相结合，使用网络票据来监督创收方的收入，通过实地监督检查加强监管力度。项目实施管理工作流图见图4所示。可操作用户可