电梯按钮的状态转换5.PPT

在图4.6中P2上有权标，因此t2也可以被激发。当t2被激发时，P2上将移走一个权标，而P3上新增加两个权标。Petri网具有非确定性，也就是说，如果数个转换都达到了激发条件，则其中任意一个都可以被激发。图4.6所示Petri网的标记为(1，2，0，1)，t1和t2都可以被激发。假设t1被激发了，则结果如图4.7所示，标记为(2，1，0，0)。此时，只有t2可以被激发。如果t2也被激发了，则权标从P2中移出，两个新权标被放在P3上，结果如图4.8所示，标记为(2，0，2，0)。 * * 图4.6 带标记的Petri网 * 图4.7 图4.6的Petri网在转换 t1被激发后的情况 * 图4.8 图4.7的Petri网在转换 t2被激发后的情况 * 图4.9 含禁止线的Petri网 更形式化地说，Petri网C=(P，T，I，O)中的标记M，是由一组位置P到一组非负整数的映射： M：P→｛0，1，2，…｝ 这样，带有标记的Petri网成为一个五元组(P，T，I，O，M)。 对Petri网的一个重要扩充是加入禁止线。如图4.9所示，禁止线是用一个小圆圈而不是用箭头标记的输入线。通常，当每个输入线上至少有一个权标，而禁止线上没有权标的时候，相应的转换才是允许的。在图4.9中，P3上有一个权标而P2上没有权标，因此转换t1可以被激发。 * 现在把Petri网应用于上一节讨论过的电梯问题。当用Petri网表示电梯系统的规格说明时，每个楼层用一个位置Ff代表(1≤f≤m)，在Petri网中电梯是用一个权标代表的。在位置Ff上有权标，表示在楼层f上有电梯。 案例 * 电梯问题的第一个约束条件描述了电梯按钮的行为，现在复述一下这个约束条件。 第一条约束C1：每部电梯有m个按钮，每层对应一个按钮。当按下一个按钮时该按钮指示灯亮，指示电梯移往相应的楼层。当电梯到达指定的楼层时，按钮将熄灭。 为了用Petri网表达电梯按钮的规格说明，在Petri网中还必须设置其他的位置。电梯中楼层f的按钮，在Petri网中用位置EBf表示(1≤f≤m)。在EBf上有一个权标，就表示电梯内楼层f的按钮被按下了。 电梯按钮 * 电梯按钮只有在第一次被按下时才会由暗变亮，以后再按它则只会被忽略。图4.10所示的Petri网准确地描述了电梯按钮的行为规律。首先，假设按钮没有发亮，显然在位置EBf上没有权标，从而在存在禁止线的情况下，转换“EBf被按下”是允许发生的。假设现在按下按钮，则转换被激发并在EBf上放置了一个权标，如图4.10所示。以后不论再按下多少次按钮，禁止线与现有权标的组合都决定了转换“EBf被按下”不能再被激发了，因此，位置EBf上的权标数不会多于1。 * * 图4.10 Petri网表示的电梯按钮 假设电梯由g层驶向f层，因为电梯在g层，如图4.10所示，位置Fg上有一个权标。由于每条输入线上各有一个权标，转换“电梯在运行”被激发，从而EBf和Fg上的权标被移走，按钮EBf被关闭，在位置Ff上出现一个新权标，即转换的激发使电梯由g层驶到f层。 事实上，电梯由g层移到f层是需要时间的，为处理这个情况及其他类似的问题(例如，由于物理上的原因按钮被按下后不能马上发亮)，Petri网模型中必须加入时限。也就是说，在标准Petri网中转换是瞬时完成的，而在现实情况下就需要时间控制Petri网，以使转换与非零时间相联系。 * 在第二个约束条件中描述了楼层按钮的行为。 第二条约束C2：除了第一层与顶层之外，每个楼层都有两个按钮，一个要求电梯上行，另一个要求电梯下行。这些按钮在按下时发亮，当电梯到达该层并将向指定方向移动时，相应的按钮才会熄灭。 在Petri网中楼层按钮用位置FBfu和FBfd表示，分别代表f楼层请求电梯上行和下行的按钮。底层的按钮为FB1u，最高层的按钮为FBmd，中间每一层有两个按钮FBfu和FBfd(1＜f＜m)。 楼层按钮 * * 图4.11 Petri网表示楼层按钮 图4.11所示的情况为电梯由g层驶向f层。根据电梯乘客的要求，某一个楼层按钮亮或两个楼层按钮都亮。如果两个按钮都亮了，则只有一个按钮熄灭。图4.11所示的Petri网可以保证，当两个按钮都亮了的时候，只有一个按钮熄灭。但是要保证按钮熄灭正确，则需要更复杂的Petri网模型。 * 最后，考虑第三条约束。 第三条约束C3：当电梯没有收到请求时，它将停留在当前楼层并关门。 这条约束很容易实现，如图4.11所示，当没有请求(FBfu和FBfd上无权标）时，任何一个转换“电梯在运行”都不能被激发。 * 1 概述 2 有穷状态机 3 Petri网 4 Z语言 * 用Z语言描述的、最简单的形式化规格说明含有下述4个部分 给定的集合、数据类型及常数 状态定义