【精品】专业论文文献 -基于Petri网的审批政务流程优化分析.doc

基于Petri网的审批政务流程优化分析
基于Petri网的审批政务流程优化分析
摘要:本文利用Petri网对上海自贸试验区审批政务流程进行建模,接着运用Petri网关联矩阵、重组算法等对审批政务流程进行优化,使用可达树、S不变量等进行性能分析,软件包对Petri网模型进行仿真模拟以验证其有效性,从而为政府改进政务流程、提高工作效率提供借鉴。
关键词:上海自贸试验区政务流程 Petri网重组仿真
一、引言
根据电子政务发展与政府职能转变相结合的指导思想,本文运用Petri网以上海自贸试验区审批政务流程为例进行建模分析,通过Petri网来检验审批政务流程的正确性,寻找政务流程中的不合理环节,达到优化审批流程的目的。
二、上海自贸试验区审批政务流程优化
上海自贸区公司注册行政审批流程(如图1所示)。服务对象包括申请公司、工商人员、银行、税务局、上海市经贸委等。根据Petri网的定义建立起上海自贸区公司注册行政审批的Petri网模型,如图2所示。
库所P1为申请注册公司;变迁T1为准备公司注册相关材料;P2为申请材料;T2为工商初审,主要核查公司名字,投资比例,公司经营范围等;P3为初审通过材料;T3为工商再审,主要核查公司股东决议,章程等;P4为再审通过材料;T4为一站式受理,办理工商、代码、税务三证;P5为发证审核通过材料;T5为银行对公司开立基本账户审核;P6为开户审核通过材料;T6为税务局开发票审核;P7为发票审核通过材料;T7为上海市经贸委、上市经委、市商委对公司进出口权审核;P8为进出口权审核通过材料;T8为对所有材料归档、备案;P9为公司注册备案文件。
根据Petri网基本理论,对优化前的自贸区公司注册行政审批业务Petri网模型建立关联矩阵A,按照关联矩阵的四种关系,可以从A中找出子网的冲突关系。在子网1中要实现T6活动需要资源库所P6,而子网2中要实现T7活动也要资源库所P6,因此子网1与子网2在资源利用上存在冲突。一旦子网间出现冲突,表明各自进行活动时产生了利用资源方面的竞争,可以利用拆分规则对流程进行重组,使其成为并行结构。
由合并规则可知,图1中T2工商初审与T3工商再审由同一个资源(工商人员)完成,根据优化算法,将T2和T3合并为T2。由拆分规则可知,T5、T6和T7由不同资源(银行、税务局、三委)完成,而且T5、T6(或T6、T7或T5、T7)的后置条件不构成T7(或T5或T6)的执行条件,它们之间不构成必然的前后顺序。根据拆分规则改为并行结构,可以很大程度缩减行政审批时间,其优化后的Petri网如图3所示。库所P1为申请注册公司;变迁T1为准备公司注册相关材料;P2为申请材料;T2为工商审核,主要核查公司名字,投资比例,公司经营范围,股东决议,章程等;P3为审核通过材料;T3为一站式受理,办理工商、代码、税务三证;P4为发证审核通过材料;T4为抄告相关部门;P5为开户审核相关材料;T5为银行对公司开立基本账户审核;P6为开发票审核相关材料;T6为税务局开发票审核;P7为进出口审核相关材料;T7为上海市经贸委、上市经委、市商委对公司进出口权审核;P8为开户审核通过材料;P9为发票审核通过材料;P10为进出口权审核通过材料;T8为对所有材料归档、备案;P11为公司注册备案文件。根据图3,对优化后