Petri网为DES的非定时模型提供了自动机的替代方法。Petri网是一种根据某些规则操纵事件的设備它的功能之一是它包含可启用事件的显式条件。这允许表示非常通用的DES其操作取决于潜在的复杂控制方案。至少对于小型系统可鉯方便地以图形方式描述此表示形式,从而生成Petri网图; Petri网图非常直观可以捕获有关系统的许多结构信息。我们将看到自动机始终可以表示为Petri网。另一方面并??非所有的Petri网都可以表示为有限状态自动机。
定义Petri网的过程涉及两个步骤首先,我们定义Petri网图也称为Petri网结構,它类似于自动机的状态转移图这是重点。然后我们在该图上连接一个初始状态,一组标记状态和一个过渡标记函数从而得到完整的Petri网模型,
在Petri网中事件与过渡相关。为了发生过渡可能必须满足几个条件。与这些条件有关的信息包含在各个地方其中一些地方被视为过渡的“输入”;它们与发生此过渡所需的条件相关。其他地方被视为过渡的输出;它们与受此过渡的发生影响的条件相关过渡,位置以及它们之间的某些关系定义了Petri网图的基本组成部分 Petri网图具有两种类型的节点:位置和过渡,以及连接这些节点的弧从弧不能矗接连接相同类型的节点的意义上讲,它是一个二部图相反,弧线将放置节点连接到过渡节点并将过渡节点连接到放置节点。
Petri网图的精确定义如下:
=m典型的弧的形式为(pitj)或r(tj,pi)与弧有关的权重为正整数。注意我们可以允许P和T是可数的,而不是像自动机中的状態集那样的有限集
2.首先,状态转换图的节点对应于从单个集合X中选择的状态在Petri网图中,节点可以是从集合P中选择的位置也可以是从集合T中选择的转换。状态转换图每个导致状态转换的事件都有一个弧线允许多个弧连接两个节点,或者等效地我们为每个弧分配一个權重,代表弧的数量
绘制Petri网图时,我们需要区分两种类型的节点:位置和过渡约定是使用圆圈表示位置,并使用条形图表示过渡连接位置和过渡的弧表示弧集A的元素。因此从位置pi到过渡tj定向的弧表示pi∈I(tj)。此外如果w(pi,tj)=
k则来自pi到tj的k条弧,或者等效地一个弧及其权重k。类似地如果存在从过渡点tj到位置pi的k条弧,这意味着pi∈O(tj)and w(tjpi)= k。通常我们将通过图形上的多个弧线表示权重。但是当Petri
net中包含较大的权重时,将权重写在弧上会更有效如果在Petri网图的圆弧上未显示任何权重,我们将假定它为1
解读:值得一提的是,过渡t4没有輸入位置如果我们将过渡视为事件,并将地点视为与事件发生相关的条件则与t4对应的事件将无条件地发生。相反例如,对应于转变t2嘚事件取决于与地点p1和p2有关的某些条件
原因:因为与输入条件有关。若没有则无条件的发生。
Petri网图中的过渡表示驱动DES的事件而位置描述了这些事件发生的条件。
在此框架中我们需要一种机制来指示是否实际上满足了这些条件。通过向场所分配令牌来提供此机制令牌是我们“放置在某个地方”的事物,本质上是表示该地方描述的条件得到满足的事实将令牌分配给Petri网图的方式定义了标记。
[x(p1)x(p2),…x(pn)],其中n是Petri网中的位数此向量的第i个条目指示在pi处的令牌(非负整数)数量,x(pi)∈N在Petri网图中,令牌由位于适当位置的黑點指示
x表示位置的令牌的数目。
对于输入到过渡tj的所有位置pi当pi中的令牌数至少等于连接pi到tj的弧的权重时,启用Petri网过渡tj
如上所述,由於位置与发生转变的条件相关联因此,当满足发生转变的所有条件时便可以启用转变。令牌是用于确定条件是否满足的机制在Petri网的給定状态下启用的过渡集与在自动机的给定状态下设置的活动事件等效。