Petri网与应用

离散数学结构Petri网与应用实验六第1页Petri网与应用一Petri网Petri网是一个有向图，它包含几个元素：状态，变换，有向边，令牌，其中，有向边可以用变换的输入I和输出O取代，如图：状态P：｛P1，P2，P3，P4｝；变换T：｛T1，T2，T3｝；输入：I（T1）=｛P1｝，I（T2）=｛P1｝，I｛T3｝=｛P2，P3｝；输出：O（T1）=｛P2｝，O（T2）=｛P3｝，O｛T3｝=｛P4｝；令牌P1T1T2P2P3T3P4离散数学结构Petri网与应用实验六第2页令牌是状态中的动态对象，可以从一个状态所移动到另一个状态，通常当每个输入位置所拥有的令牌数大于等于从该位置到转换的线数时，就允许转换，当T1被激发时，P2和P4上各有一个权标被移出，而P1上则增加一个权标，Petri网中权标总数不是固定的，在下例中两个权标被移出，而P1上只能增加一个权标，如图：转换前转换后二Petri网在电梯上的应用P1T1P2T2P4P3P1T1P2T2P4P3离散数学结构Petri网与应用实验六第3页1假设人在f层等电梯，电梯停在g层，那么可以用下图表示：2当按下电梯按钮的时候会亮灯，可以用令牌来表示，为了使多次按下按钮而不影响令牌数量的情况下，引入禁止线，如图所示，禁止线是用一个小圆圈而不是用箭头标记的输入线，通常当每个输入线上至少有一个权标，而禁止线上没有权标的时候，相应的转换才是允许的，在图中，P3上有一个权标而P2上没有权标，因此转换t1可以被激发：EfPgPf电梯运行中P1T1P3P2离散数学结构Petri网与应用实验六第4页对以上的电梯进行完善：由于禁止线的作用，当再次按下按钮的时候，Ef中的令牌数不会增加，每部电梯有m个按钮，每层对应一个按钮，当按下一个按钮时该按钮指示灯亮，指示电梯移往相应的楼层，当电梯到达指定的楼层时，按钮将熄灭；3除了第一层与顶层之外，每个楼层都有两个按钮，一个要求电梯上行，另一个要求电梯下行，这些按钮在按下时发亮，当电梯到达该层并将向指定方向移动时，相应的按钮才会熄灭：EfPgPf按下按钮电梯运行离散数学结构Petri网与应用实验六第5页4在Petri网中，变换是瞬时的，但在电梯中，从g层到f层是需要时间的，所以变换T要加入时限，由于从g层到f层的时间time是固定的，所以只需要把这个时间添加到对应的变换上即可：变换执行时间：time(电梯运行)=time（g，f）；time（g，f）是g层到f层所用时间；5一般情况下，一栋大楼有2部电梯，那么控制哪部运行，就要看电梯所在楼层与目的楼层的距离哪个最短：EfPgPf按下“上”按钮电梯运行EfPf按下“下”按钮电梯运行离散数学结构Petri网与应用实验六第6页当电梯分别在a和b楼层中，设|a-b|为a层和b层的距离，如果|f-a|≤|f-b|，那么Pc中例牌传递给Pb，那么在优先判断之后，距离较大的电梯就可以依然保持1个令牌，原地待命的状态；6从上图中可以看出，一个状态可能会与多个变换有关，那么该如何执行变换的先后顺序呢？（1）把同类变换分成一组；（2）限制每组变换的输入；EfPgPf按下“上”按钮电梯运行EfPf按下“下”按钮电梯运行PaPb楼层判断楼层判断优先判断离散数学结构Petri网与应用实验六第7页假如函数Itok为输入变换的令牌数量，那么限定Itok（最优楼层判断）=1；Itok（上下行判断）=1；7为了能使上题中的令牌更有区别性完成以上操作，需要将令牌特征化，也就是令牌的着色，可以将1个令牌标记为绿色，记为楼层令牌，将另一个令牌标记为红色，记为方向令牌，那么可以限定最优楼层判断值接受绿色令牌，上下行判断只接受红色令牌：PaPbPcPfPf楼层判断楼层判断不动楼层最优楼层判断上下行判断上下行状态电梯运行电梯运行离散数学结构Petri网与应用实验六第8页8将以上的问题整合起来：PaPbPcPfPf楼层判断楼层判断不动楼层最优楼层判断上下行判断上下行状态电梯运行电梯运行EfPaPbPcPfPfEf’楼层判断楼层判断不动楼层最优楼层判断优先判断按下“上”按钮按下“下”按钮上下行状态上下行判断电梯运行电梯运行离散数学结构Petri网与应用实验六第9页图中：优先判断的输出令牌为红色；最优楼层判断的输入令牌为绿色；上下行判断的输入令牌为红色；其他判断不设置要求；三参考文献1安阳师范学院网络教学资源网-维基百科