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.


    Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen


    Exportieren, teilen und zitieren



    Titel :

    Deadlock control software for tow automated guided vehicles using Petri Nets


    Beteiligte:
    Rovetto, Carlos (Autor:in) / Cano, Elia (Autor:in) / Colom, Jose-Manuel (Autor:in)


    Erscheinungsdatum :

    2010


    Format / Umfang :

    16 Seiten, 6 Bilder, 1 Tabelle, 10 Quellen


    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch