基于Petri网审批政务流程优化分析.doc

基于Petri网审批政务流程优化分析 　　摘要：本文利用Petri网对上海自贸试验区审批政务流程进行建模，接着运用Petri网关联矩阵、重组算法等对审批政务流程进行优化，使用可达树、S不变量等进行性能分析，最后使用Petri Net软件包对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，对优化后的注册公司行政审批Petri网模型重新建立关联矩阵A。 　　三、审批政务流程优化的合理性评价 　　（一）S_不变量 　　由ATX=0可以得到关联矩阵A所构成线性方程组的解X，即是S_不变量。如果线性方程ATX=0至少有一个非零解，且它的解的分量由0和1组成，那么S_不变量是存在的。1代表该节点上有实例，即有托肯流经该库所，0代表无托肯流经该库所。只要符合ATX=0的解，都能保证该模型逻辑的合理性。观察所得结果，优化后的上海自贸区行政审批Petri网模型是资源守恒且可行有效的。 　　当行政审批流程中有托肯在流动时，依据S_不变量可以判断出托肯流动所选择的不同路径。观察本模型，可以看到计算出的S_不变量中始终有P1，P2，P3，P4，P11在流动，结合行政审批的详细流程，X1表示公司拿到三证后申请开户的流程，X2表示公司拿到三证后申请开发票资格的流程，X3表示公司拿到三证后申请进出口权的流程，流程描述如下： 　　以上对Petri网运行形态进行分析，S_不变量涵盖了自贸区公司注册的每一个步骤，清晰地描述了不同托肯资源的活动范围，证明了优化后的行政审批Petri网模型是合理的。 　　（二）模型的可达性分析 　　假设图3的初始条件M0=[1，0，0，0，0，0，0，0，0，0，0]T，可根据状态方程计算出各个变迁序列激发后的标志，得到该模型的可达图，本文得到优化后的行政