《3.第4章软件工程.pptVIP

* 湖南科技大学 计算机学院 戴祖雄 * Petri网的标记是在Petri网中令牌(token)的分配。例如,在图4.6中有4个令牌,其中一个在P1中,两个在P2中,P3中没有,还有一个在P4中。上述标记可以用向量(1,2,0,1)表示。由于P2和P4中有令牌,因此t1启动(即被激发)。通常,当每个输入位置所拥有的令牌数等于从该位置到转换的线数时,就允许转换。当t1被激发时,P2和P4上各有一个令牌被移出,而P1上则增加一个令牌。Petri网中令牌总数不是固定的,在这个例子中两个令牌被移出,而P1上只能增加一个令牌。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 湖南科技大学 计算机学院 戴祖雄 * 在图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)。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 湖南科技大学 计算机学院 戴祖雄 * 图4.6 带标记的Petri网 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 湖南科技大学 计算机学院 戴祖雄 * 图4.7 图4.6的Petri网在转换t1被激发后的情况 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 湖南科技大学 计算机学院 戴祖雄 * 图4.8 图4.7的Petri网在转换t2被激发后的情况 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 湖南科技大学 计算机学院 戴祖雄 * 更形式化地说,Petri网C=(P,T,I,O)中的标记M,是由一组位置P到一组非负整数的映射： M：P→{0,1,2,……} 这样,带有标记的Petri网成为一个五元组(P,T,I,O,M)。 对Petri网的一个重要扩充是加入禁止线。如图4.9所示,禁止线是用一个小圆圈而不是用箭头标记的输入线。通常,当每个输入线上至少有一个令牌,而禁止线上没有令牌的时候,相应的转换才是允许的。在图14.9中,P3上有一个令牌而P2上没有令牌,因此转换t1可以被激发。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 湖南科技大学 计算机学院 戴祖雄 * 图4.9 含禁止线的Petri网 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. * 湖南科技大学 计算机学院 戴祖雄 * 4.3.2 应用实例 让我们把Petri网应用于上一节讨论过的电梯问题。当用Petri网表示电梯系统的规格说明时,每个楼层用一个位置Ff代表(1≤f≤m),在Petri网中电梯是用一个令牌代表的。在位置Ff上有令牌,表示在楼层f上有电梯。 1.