Petri网离散事件系统的死锁预防方法研究(4)_毕业论文

毕业论文移动版

毕业论文 > 计算机论文 >

Petri网离散事件系统的死锁预防方法研究(4)

Petri网在FMS中有非常广阔的应用空间。首先,Petri网是最适合于离散事件系统的建模方 法。它在柔性制造系统仿真建模的应用最为广泛的。有很多很难描述的制造系统参数,使用 Petri网可以非常轻松的描述分析。在Petri网模型中还可以设计控制器,Petri网控制器可以利用 其他硬件设备和软件生成系统的控制数据或代码来形成对整个受控系统的约束。基于Petri网 模型,人们可以对柔性制造系统进行全面的分析,如生产效率、产品计划、任务调度等。

当然,Petri网模型也具有他本省很难克服的缺陷。如Petri网模型不适用与大型的离散事件 系统,因为当系统模型增大时,Petri网规模将会以指数级增大。

2。2Petri 网相关特性

本节介绍 Petri 网定义以及下面研究要用到的性质[15]。 

Petri 网结构是一个五元组:

PN = (P, T, F, W, M0)其中:

(1) P {p1,。。。, pn}是库所的有限集合,库所个数 n 0 ;

(2)是变迁的有限集合,变迁个数 m 0 ,另 P

(3)F⊆(P×T)∪(T×P)为流关系,它建立了从库所到变迁、从变迁到库所的单方向联系,

并且规定同类元素之间不能直接联系

(4) W:F→{0,1,2,3 ⋯}为流关系上的权函数,规定了托肯传递过程中的加权系数。

(5) M0:系统初始的状态标识,即初始时托肯在各库所中的分布情况。

在 Petri 网结构的有向图的表示中,变迁用长方形或粗实线段表示,库所用圆圈表示。 

对于任意弧 f∈ F,当 W(f)>1 时,将 W(f)标注在弧上,当 W(f)=1 时,省略 W(f)的标注。标识或托肯用库所中的黑点或数字来表示。同一库所中的多个标记代表同一类完全等价的个体。 标识向量表示了托肯在位置中的分布情况。

(责任编辑:qin)