Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Verifying concurrent system behavior with Petri net invariants


    Beteiligte:
    VIDALE, R. (Autor:in) / FUJITA-YUHAS, T. (Autor:in)

    Kongress:

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



    Erscheinungsdatum :

    01.01.1991



    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch




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

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


    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