Zugriff

    Zugriff über TIB

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    A logic for Petri nets


    Beteiligte:

    Erschienen in:

    Erscheinungsdatum :

    1997-01-01


    Format / Umfang :

    18 pages



    Medientyp :

    Aufsatz (Zeitschrift)


    Format :

    Print


    Sprache :

    Französisch


    Klassifikation :

    DDC:    629.89



    Synthesis of feedback control logic for a class of controlled Petri nets

    Holloway, L.E. / Krogh, B.H. | Tema Archiv | 1990


    Road traffic signals modeling and analysis with Petri nets and linear logic

    dos Santos Soares, M. / Vrancken, J. | Tema Archiv | 2007


    Operating rules description using Petri nets

    Lahlou, O. / Bon, P. / Allain, L. | Tema Archiv | 2007


    PETRI NETS MODELING FOR SDN TOPOLOGIES

    Ameen, Ali / Guţuleac, Emilian | BASE | 2021

    Freier Zugriff

    Generating Inductive Invariants for Petri Nets

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