Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Reversibility Analysis for Petri Nets by Using T-invariants


    Beteiligte:

    Kongress:

    10th, WSEAS international conference on automatic control modelling and simulation; New aspects of automatic control modelling and simulation ; 2008 ; Istanbul, Turkey



    Erscheinungsdatum :

    01.01.2008


    Format / Umfang :

    7 pages



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Print


    Sprache :

    Englisch


    Schlagwörter :


    Generating Inductive Invariants for Petri Nets

    Wu, Bin / Fu, YongJun | Springer Verlag | 2012


    Partition by Place Invariants and Discrimination of Its Properties in Petri Nets

    Miyazawa, I. / Sekiguchi, T. | British Library Online Contents | 1996


    A New Scheme for Verifying Rule-Based Systems by Using Net-Invariants of Petri Nets

    Inazumi, H. / Omoto, N. | British Library Online Contents | 2000


    Airport Traffic Simulation Using Petri Nets

    Skorupski, Jacek | Springer Verlag | 2013


    Operating rules description using Petri nets

    Lahlou, O. / Bon, P. / Allain, L. | Tema Archiv | 2007