Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

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


    Beteiligte:
    Miyazawa, I. (Autor:in) / Sekiguchi, T. (Autor:in)


    Erscheinungsdatum :

    01.01.1996


    Format / Umfang :

    8 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt


    Klassifikation :

    DDC:    629.8



    Generating Inductive Invariants for Petri Nets

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


    Reversibility Analysis for Petri Nets by Using T-invariants

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



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

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


    A logic for Petri nets

    Pradier-Chezalviel, B. / Valette, R. | British Library Online Contents | 1997