基于Petri网的审批政务流程优化分析(2)

　　（二）模型的可达性分析

　　假设图3的初始条件M0=[1，0，0，0，0，0，0，0，0，0，0]T，可根据状态方程计算出各个变迁序列激发后的标志，得到该模型的可达图，本文得到优化后的行政审批Petri网模型特性如下：

　　1、该Petri网是有界的，因为在其可达树中没有出现ω。

　　2、该Petri网模型是安全的，因为只有“0”和“1”出现在可达树结点。

　　3、图3中所有的变迁都出现在的覆盖性树中，这说明所有变迁都是“活的”，都是有必要的，模型中不存在冗余。

　　四、审批政务流程优化的仿真比较

　　政务流程的量化指标由成本、周期时间、效率、有效性、适应性等，其中周期时间和效率有相关性，而政务流程的有效性和适应性度量起来比较困难，因此，一般选择流程的成本和周期时间作为参数进行仿真。本文仅选取周期时间作为参数进行仿真，并选取T时间限制（即对变迁活动设置时间限制）的Petri网类型，参考互联网上提供的上海自贸区公司注册流程所需时间，估算出了每个业务的资源等待时间，详细描述如表1所示：

　　优化后模型略有改变的为T2和T3变迁，因为优化后这两个业务将会合并，资源等待时间调整为4-5天，而其它变迁的等待时间参数不变。将优化前与优化后的Petri网模型转换为仿真模型，在P1处都设置为1个托肯。根据仿真结果，优化前后模型所耗时间有很大差异，优化前整个审批流程用时45.7578天，优化后只需33.1074天，平均耗费时间缩短了27.65%，政务流程优化的效果是十分明显的。

　　五、结论

　　利用Petri网对上海自贸区审批流程进行建模分析，有利于发现系统中存在的并行、异步、冲突及顺序关系，从而提高政府办事效率。本文基于Petri网关联矩阵，构建了政务流程优化的算法和步骤，并引入S_不变量、可达树等方法来评估系统性能，进一步加入时间因素在PetriNet软件上进行仿真，以验证模型有效性，从而发现上海自贸区审批政务流程的问题，并加以改进，显著提高了企业注册审批流程的效率。但本文也存在不足，所采用的优化手段是基本的顺序、选择、并发、循环流程，而现实中的政务工作受到人文、技术等各种因素影响，实际业务流程要复杂的多，而且本文的政务工作处理时间不是来自于实际调查数据，而是通过网站公开信息获得。

　　参考文献：

　　[1]王建民，闻立杰.工作流管理—模型、方法和系统[M].北京：清华大学出版社，2004：84—87

　　[2]袁崇义.Petri网原理与应用[M].北京：电子工业出版社，2005

　　[3]赫泉玲，黄珍潇.政务流程的解析、优化与重构[J].华东经济管理，2007，21（9）：102—104

　　[4]李炜，宋翰涛，石剑.基于时间Petri网的工作流建模[J].计算机工程与应用，2002，38（21）：83—84

　　（蔡敏，1992年生，江苏盐城人，上海海事大学硕士生。研究方向：供应链与物流管理。蒋元涛，1975年生，山东泰安人，上海海事大学管理科学系电子商务专业副教授，硕士生导师。研究方向：企业战略、电子商务和海关物流）