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 :

    2008-01-01


    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


    Operating rules description using Petri nets

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


    Airport Traffic Simulation Using Petri Nets

    Skorupski, Jacek | Springer Verlag | 2013


    Airport Traffic Simulation Using Petri Nets

    Skorupski, J. | British Library Conference Proceedings | 2013