采用时间约束Petri网剖析优化广电过程模型.docVIP

采用时间约束Petri网剖析优化广电过程模型 　　摘要:企业过程模型评价效果很难通过简单途径取得定量的对比分析结果,本文提出时间约束Petri网理论,在企业过程模型的主要指标采用Little转化为以时间为主的评价体系的基础上,研究采用时间约束Petri网建模对企业过程模型分析的方法和分析优化步骤,并针对广电网络过程模型的具体流程给出的实际案例加以形式化分析,得出优化的方案#65377; 　　关键词:时间约束Petri网;企业过程模型优化;模型检验 　　中图分类号:TP393.1/.4 　　文献标识码:A 　　 　　1引言 　　 　　广电网络业务流程的流程单元包括施工工单#65380;用户受理业务定单#65380;合同单及各类流程表单等,这些广电网络业务流程均以时间#65380;流程速度#65380;队列等为主要考核指标,即可以采用流程工作时间#65380;生产率和工作队列三项指标组成过程模型中的仿真优化评价体系#65377;而流程工作时间#65380;生产率和工作队列三项指标之间的关系即满足Little法则[1]#65377;把平均生产率R(例如生产速度)#65380;平均工作时间T和平均工作队列I的关系表示为: 　　I=R×T 　　由Little法则可见,过程模型的三项评价指标值若已知其中两项,即可得出第三项值#65377;即生产率和工作队列均可转换成为以工作时间为评价指标的评价体系#65377; 　　Petri网作为一种基本的系统描述和分析的通用理论模型,尤其是引入了时序特性的时间约束Petri网,为流程优化的模拟以及特性评估提供了一种可能性#65377;本文通过时间约束Petri网在广电网络过程模型优化中的应用,提出一个数学建模支持下对过程模型优化进行模拟与特性评估的新途径,并通过项目中的实例对一个具体流程进行建模和特性分析#65377; 　　 　　2时间约束Petri网的定义 　　 　　为了更准确的描述实时系统地实践特性,在传统Petri网[2]的基础上再引入时间因子,即构成时间约束Petri网结构理论#65377;时间约束Petri网强调的是位置和变迁具有的时间性#65377;时间约束Petri网结构由七部分组成,是一个七元组PT(P,T,I,O,μ,Min,Max),其中Min和Max分别是最小时间函数和最大时间函数#65377;时间约束Petri网就是通过变迁的最大最小时间函数的约束,有效地控制令牌运动的时序性#65377;而对于其进行的特性检验我们仍依照通用Petri网模型中检验的实例特性:活性(Aliveness)#65380;可达性(Reachablity)#65380;死锁(Deadlock)[2]#65377; 　　为模拟现实的企业流程,我们对流程中的相应元素定义了时间约束Petri网中的的如下变元#65377; 　　定义1 定义基于时间约束Petri网的流程为七元组PN(P,T,I,O,μ,Min,Max),其中 　　P为流程阶段集合; 　　T为流程流转操作集合; 　　I为流转触发操作集合; 　　O为流转分发操作集合; 　　μ为流转对象标志集合; 　　Min为流转最小时间函数; 　　Max为流转最大时间函数#65377; 　　具体流程就直接被模拟成对应的时间约束Petri网#65377;流转对象pj在流程的各个阶段通过相应操作tj流转,当流转的时间函数Min和Max满足条件时,触发操作ij被执行,然后分发操作oj将流转对象pj流转到相应阶段p??j+1,同时改变其标志μ#65377; 　　 　　3时间约束Petri网对过程模型分析的步骤 　　 　　因为模型变元与流程主要元素的一一对应性,我们即可通过对变元的监控实现对过程模型本身的形式化分析#65377; 　　通过调整时间约束Petri网模型的变元,从而对原过程模型的意外行为进行分析,并加以人为调整,进而实现差错控制与差错分析的目的#65377;在这一过程中,我们分为两个步骤进行:第一步#65380;在原有流程的结构基础上构造不含时序变元的通用Petri网模型#65377;利用这种未加时间限定的单纯Petri网(PN)模型进行流程路径测试,检验原流程的封闭性和可执行性#65377; 　　第二步#65380;在通过第一步检验的模型基础上引入时序变元,完成时间约束Petri网模型的构造#65377;利用这种引入了时间限定的时间约束Petri网模型进行效率测试,结合Little法则分析平均生产率R#65380;平均工作队列和平均工作时间三项评价指标值,以此为依据检查流程的效率瓶颈#65377; 　　时间约束Petri网模型对过程模型优化效果的评估作用也体现在对原过程模型的效率管理上#65377