Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Modeling by Petri Net with Place Invariants for Sequential Control Systems



    Erschienen in:

    Erscheinungsdatum :

    1995



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Unbekannt



    Klassifikation :

    BKL:    53.00 / 53.33 / 52.53 Kraftwerkstechnik / 53.31 / 52.53 / 53.33 Elektrische Maschinen und Antriebe / 53.00 Elektrotechnik: Allgemeines / 53.31 Elektrische Energieübertragung
    Lokalklassifikation TIB:    770/5600/8000



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

    Miyazawa, I. / Sekiguchi, T. | British Library Online Contents | 1996


    Generating Inductive Invariants for Petri Nets

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


    Verifying concurrent system behavior with Petri net invariants

    VIDALE, R. / FUJITA-YUHAS, T. | AIAA | 1991


    Reversibility Analysis for Petri Nets by Using T-invariants

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