第4章--制造系统的建模方法.pptVIP

**Petri网（Petrinet）c）可选择资源型冲突是指在同一时刻，一个进程的发生有多个可替换的资源可供选择。JiangZengqiang,HefeiUniversityofTechnology**Petri网（Petrinet）JiangZengqiang,HefeiUniversityofTechnology**Petri网（Petrinet）Petri网已经越来越多地应用到制造系统的仿真、控制建模以及性能预测中。但是，基本Petri网存在节点过多、建模能力弱等缺点，并不适合FMS、CIMS等复杂系统的建模。为增强Petri网的建模能力，人们不断对基本Petri网进行扩展。Petri网扩展研究可以分为两个方面：②开发Petri网的分析技术，以便从原始系统中得到更多的信息。①研究如何增强Petri网的建模能力，完善Petri网的数学理论框架，从而简化建模过程和使模型简单化；JiangZengqiang,HefeiUniversityofTechnology**Petri网（Petrinet）其中，以个性令牌为特征的网系统称为高级网系统。与基本网系统和库所/变迁网系统相比，高级网系统更加抽象，其中的库所可以代表多种资源，变迁可以代表多种变化，令牌的含义更丰富，只需较少的节点元素即可模拟同样的应用系统，可以简化网的结构。JiangZengqiang,HefeiUniversityofTechnology**Petri网（Petrinet）（5）定义5：赋时Petri网（TimedPetrinets,TPN）五元组（P，T；F，τ，M0）构成赋时Petri网（TPN）的充分必要条件是：①（P，T；F）为TPN的基网。②τ：τ（t）→{0，R+}是TPN中变迁时延函数（time-delayfunction）集合，R+表示正实数。若变迁j满足τ（tj）=0，则相应变迁为即时变迁（immediatetransition）；若τ（tj）0,则为赋时变迁（timedtransition）。赋时变迁j受到激发后，将立即从输入库所移走相应令牌，但是经过时间τ（tj）才向输出库所发送令牌。JiangZengqiang,HefeiUniversityofTechnology**Petri网（Petrinet）赋时Petri网（TPN）在P/T_系统的基础上增加了变迁的时间延迟，可以用于分析设备利用率、系统生产效率等时间量特性，并为系统的实时调度等创造了条件。③M0为TPN的初始标识。实际上，制造系统中状态的变化多是带有时间延续的，如机床的加工动作、仓储设备的运储行为、加工、装夹、检查等。JiangZengqiang,HefeiUniversityofTechnology**Petri网（Petrinet）（6）定义6：着色Petri网（ColoredPetriNet，CPN）采用基本Petri网进行复杂系统建模时，存在着系统节点过多，模型庞大的缺点。J.Martinez等人将颜色引入Petri网，采用着色Petri网对FMS集成控制系统进行描述、分析，通过颜色包含的信息实现子系统之间的协调和集成。着色Petri网是Petri网的压缩形式，可以有效地减少节点数，使Petri网更适合于复杂系统的建模和分析。JiangZengqiang,HefeiUniversityofTechnology**Petri网（Petrinet）定义：七元组（P，T；F，C，I-,I+，M0）构成着色Petri网的充分必要条件是：③I-,I+分别为P×T上的负函数和正函数，使得对所有（p,t）∈P×T：①（P，T；F）为有向网，称为CPN的基网。②C：P∪T为颜色集的幂集合，使得：对于p∈P，C（p）为库所p上所有可能令牌颜色的集合；对于所有t∈T，C（t）为变迁t上所有颜色的集合。JiangZengqiang,HefeiUniversityofTechnology**Petri网（Petrinet）④M0为CPN初始标识。它满足条件∨p∈P：M0（p）∈C（p）MS，即：M0（p）为p的令牌颜色集合上的多重集。I+（p，t）∈[C（t）MS→C（p）MS]L，且I+（p，t）=0的充要