基于Petri网的审批政务流程优化分析【论文范文】.doc

论文（设计） 单 位 题 目 申报内容 专业 职称等级 学号 姓 名 指导老师 职称 提交日期 2019 完成日期 基于Petri网的审批政务流程优化分析 一、论文说明 本写作团队长期从事论文写作，擅长数据处理、文献查找 图表绘制、理论分析，以及相关期刊论文的发表 具体联系金老师QQ：387 826 70 二、范文参考 　一、引言　　根据电子政务发展与政府职能转变相结合的指导思想，本文运用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_不变量可以判断出