Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Verifying concurrent system behavior with Petri net invariants


    Contributors:

    Conference:

    8th Computing in Aerospace Conference ; 1991 ; Baltimore , MD , U.S.A.



    Publication date :

    1991-01-01



    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Generating Inductive Invariants for Petri Nets

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


    Verifying properties of Ada designs using colored Petri nets

    MCLENDON, JR., WILLIAM / VIDALE, RICHARD | AIAA | 1991


    Reversibility Analysis for Petri Nets by Using T-invariants

    Ozkan, H.A. / Aybar, A. / WSEAS (Organization) | British Library Conference Proceedings | 2008



    A Method of Verifying a Switching SDL Specification by Utilizing Petri Nets

    Hasegawa, H. | British Library Online Contents | 1994