采用时间约束Ｐｅｔｒｉ网分析优化广电过程模型.doc

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