Factoring and warehouse distribution centers face numerous and interrelated challenges in their efforts to move products and materials through their facilities. New technologies in navigation and guidance allow true autonomy with more flexibility and resource efficiency. In this paper the authors 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, the authors 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.


    Access

    Access via TIB

    Check availability in my library


    Export, share and cite



    Title :

    Deadlock control software for tow automated guided vehicles using Petri Nets



    Type of media :

    Conference paper


    Type of material :

    Print