[信息与通信]DES仿真与Petri网.ppt

基本PN 性能 可达性（Reachability） 有界性（Boundness） 安全性（Safeness） 守衡性（Conservativeness） 活性（Liveness） 可逆性（Reversibility） 可达性（Reachability） 意义 可达性是PN 的一个重要行为特性。给定一PN 我们期望知道：从初始标识m0 可以到达哪些标识；或者给定一标识，是否可以实施一系列变迁，从初始标识到达该标识。 定义 若从m0 初始标识开始实施一个变迁序列，产生标识mr 则称mr 是从m0 可达的。若只要从m0 开始实施1 个变迁即可产生mr 则称mr 是从m0 立即可达的（Immediately reachable）。 所有从m0 可达的标识的集合称为可达标识集或可达集，记为R(m0)。 一般地，从m0 到mr 所实施的变迁序列表示为sr =tj1, ?, tjr ，这里j1, ?, jr 为1 到m之间的整数。从m0 实施sr 产生mr 表示为m0 [srmr。 例如，在资源竞争的模型图中m0=(1, 0, 0, 1, 1, 0, 0)T，m0[s4 m4， 这里m4=(0，0，1, 1, 0, 0, 1)T ，s4=t3, t4, t1, t2。 可达性（Reachability）（续） 可达性在制造系统中的意义 可达性可描述制造系统这样两 个问题： （1） 系统按照一定的轨迹运行，系统是否能够实现一定的状态或者不期望的状态不出现。典型的问题是生产调度计划的验证，即按照一定的生产调度计划进行生产，一定的生产任务是否能够完成。 （2） 要求到达一定的状态，如何确定系统的运行轨迹。典型的问题是生产调度问题。系统的运行的轨迹，就是用实施变迁序列sr 表示的事件发生的先后顺序。而系统的状态表示为PN 的标识m。 因此，第一个问题可以描述为：给定sr 、初始标识m0 以及期望达到的标识mr， 则：有m0[srmr’ ，若mr’=mr，则答案是肯定的。若mr’1mr 则答案是否定的。第二个问题可以描述为给定m0 与mr，寻找sr 使得m0[srmr 成立。必须指出sr 可能不是唯一的，通常都在一定的准则下选取优化的sr。 有界性（Boundness） 定义 给定PN= (P, T, I, O, m0)以及其可达集R(m0) ，对于位置p?P， 若 m?R(m0 )，有m(p)￡k， 则称p 是k-有界的，此处k 为正整数；若PN 的所有位置都是k-有界的则PN是k-有界的。 特别地，k=1 时，即当某位置或PN 是1-有界的，我们称该位置或PN 是安全的。 若对于任意初始标识m0， PN 都是k-有界的，则PN 是结构有界的(Structurally bounded)。 安全性（Safeness） 通常，位置用于表示制造系统中的工件、工具、托盘以及AGV 的存放区，工件的存放区就是缓冲区，还用于表示资源的可利用情况，确认这些存放区是否溢出(Overflow)或资源的容量是否溢出，是非常重要的。 PN 的有界性，是检查被PN 所描述的系统是否存在溢出的有效尺度。当位置用于描述一操作，该位置的安全性，能够确保不会重复启动一正在进行的操作。 我们可直观地看到资源竞争的模型图所示的PN 是1-有界的。因此它是安全的。 守衡性（Conservativeness） 定义 对于一PN=(P, T, I, O, m0) ，若存在一矢量w=(w1, w2, ?, wn)T，且wi0, i=1, 2,?, n ，使得对于所有m?R(m0) ：wTm=wTm0 ，则称该PN 相对于矢量w 守衡；若PN 相对于w=(1, 1, ?, 1)T守衡，即对于所有m?R(m0 )： ， 则称PN 为严格守衡。 严格守衡意味着托肯数守衡。 活性（Liveness） 定义 对于一变迁t?T ，在任一标识m?R 下，若存在一变迁序列sr ，该变迁序列的实施使得此变迁t 可实施，则称该变迁是活的(Live)； 若一PN 的所有变迁都是活的，则该PN 是活的。 死变迁（Dead transition） 与锁死(Deadlock)，从反面描述PN 的活性。若存在m?R， 不存在从m开始的变迁序列，该序列的实施使得t 可实施，则变迁t 为死变迁；若存在m?R，在此m下无任何变迁可实施，则称PN 包含一锁死，该标识为死标识(Dead marking)。 活性（Liveness）（续） 出现锁死的原因 不合理的资源分配策略或某些或全部资源的耗尽。 在资源共享系统中，下列4 个情况可能同时满足，从而导致锁死： (1) 互斥一资源。要不可以利用，要不已分配给另一过程，该过程排斥其它过程对于该资源的占用。