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

Petri网通过工作流系统来处理一些大型案例.每个案例有一个唯一的标识,案例在出现和消失之间总是处于某个特定状态,可以充分运用案例的相关属性使用Petri网建立工作流.高校创收项目全程跟踪审计系统就是一个典型的工作流案例,主控模块项目立项、项目实施和项目结算,每个模块内部和模块与模块之间涉及到流程,都需要审批,是工作流的过程.

Based on Petri net's Audit Tracking System of University Income-generatingmaster Control Module Work Class Modelling

Petri nets through the workflow system to deal with some major cases. Each case has a unique identifier, case always between appear and disappear in a particular state, the relevant properties of use cases using Petri net based workflow. College income-generating projects follow up audit system is a typical case of workflow, main controlling module project establishment, project implementation and project settlement,each module on a module to the next module and internal implementation involves a same flow, all need approval, is a process of workflow.