Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

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


    Contributors:


    Publication date :

    2007



    Type of media :

    Article (Journal)


    Type of material :

    Print


    Language :

    English


    Classification :

    BKL:    55.50 Luftfahrzeugtechnik
    Local classification 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 Archive | 2004