Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modelling of a hybrid system through differential predicate transition Petri nets model and proof tree


    Beteiligte:


    Erscheinungsdatum :

    2007



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Englisch


    Klassifikation :

    BKL:    55.50 Luftfahrzeugtechnik
    Lokalklassifikation TIB:    275/7040




    Expert System Model Using Predicate Transition Nets

    D. M. Perdu / A. H. Levis | NTIS | 1988


    Modelling Railway Systems with Hybrid Petri Nets

    Decknatel, G. / Schnieder, E. | British Library Conference Proceedings | 1998


    Modelling hybrid systems by high-level Petri nets

    Giua, A. / Usai, E. | British Library Conference Proceedings | 1998


    On modelling urban transportation networks via hybrid Petri nets

    Febbraro, Angela di / Sacco, Nicola | Tema Archiv | 2004