Access

    Access via TIB

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Reversibility Analysis for Petri Nets by Using T-invariants


    Contributors:

    Conference:

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



    Publication date :

    2008-01-01


    Size :

    7 pages



    Type of media :

    Conference paper


    Type of material :

    Print


    Language :

    English




    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 Archive | 2007


    Airport Traffic Simulation Using Petri Nets

    Skorupski, J. | British Library Conference Proceedings | 2013


    Airport Traffic Simulation Using Petri Nets

    Skorupski, Jacek | Springer Verlag | 2013