Petri Nets with Localities and Testing (Q3569859)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Petri Nets with Localities and Testing
scientific article

    Statements

    Petri Nets with Localities and Testing (English)
    0 references
    0 references
    0 references
    22 June 2010
    0 references
    Petri nets
    0 references
    place/transition nets
    0 references
    localities
    0 references
    testing
    0 references
    range arcs
    0 references
    GALS systems
    0 references
    membrane systems
    0 references
    causality
    0 references
    processes
    0 references
    barb-events
    0 references
    boundedness
    0 references
    coverability tree
    0 references

    Identifiers