一类Petri网的信标求取方法及应用研究

发布时间：2021-01-03 04:29

　　利用Petri网对柔性制造系统进行设计一直是Petri网研究的重要方向。基于信标理论的死锁预防策略的前提要得到网中严格极小信标。在面对大规模系统时计算严格极小信标是十分费时的,而且对所有的严格极小信标进行控制会使网结构变得非常复杂。为了解决这些问题,本文针对Petri网的一个子类提出一种利用网的结构特点得到严格极小信标的方法。由于充分利用了网的特性,使该方法获得严格极小信标的时间大大减少。在得到严格极小信标后,从中提取基本信标。对基本信标添加控制库所和控制弧后,使其被不变式控制。而从属信标的可控性由与之相关的基本信标的可控性来保证,最终得到活的Petri网控制器。这种新的信标寻找方法与基本信标理论相结合形成新的Petri网死锁预防策略。该策略在计算严格极小信标时节省大量时间,而且由于只控制了基本信标,使控制器的设计更为简化。因此利用这种新的死锁预防策略可以在较短的时间里得到一个优化的Petri网模型。 

【文章来源】：西安电子科技大学陕西省 211工程院校 教育部直属院校

【文章页数】：67 页

【学位级别】：硕士

【部分图文】：

几种算法的时间对比

图 5.5 对图 5.4 的局部放大5.5 小结本章介绍了资源回路的概念，详细阐述了从资源回路获得严格极小信标的方法。通过使用该方法，可以根据网的结构特点直接得到严格极小信标。和其它常用的方法相比，利用资源回路求取信标可以大量的节省时间。

图 6.6 在不同的网规模下基本信标和严格极小信标的数量对比6.4 小结本章详细介绍了对 Petri 网实施控制的方法。通过实际例子，说明了对 Petri网实现控制的过程。与其它方法相比只需要添加少量的控制库所和控制弧即可实现活的控制器。而且由于利用资源回路得到严格极小信标，所花费的时间更短。实现了简化、优化设计的目的。


本文编号：2954318