Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets

Abstract:

Factoring and warehouse distribution centers face numerous and interrelated challenges in their e orts to move products and materials through their facilities. New technologies in navigation and guidance allow true autonomy with more exibility and resource e ciency. In this paper we investigate a complete design approach to obtain deadlock-free minimal adaptive routing algorithms for these systems. The approach is based in an abstract view of the system as a Resource Allocation System. The interconnection network and the routing algorithm elaborated by the designer, are the initial information used to obtain in an automatic way a Petri Net model. For this kind of routing algorithms, we prove that the obtained Petri Net belongs to the well-known class of S4PR net systems, and therefore the rich set of analysis and synthesis results can be applied to enforce the liveness property of the routing algorithm.

Año de publicación:

2012

Keywords:

Fuente:

google