Process versus unfolding semantics for Place/Transition Petri nets (Q672872)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Process versus unfolding semantics for Place/Transition Petri nets
scientific article

    Statements

    Process versus unfolding semantics for Place/Transition Petri nets (English)
    0 references
    0 references
    0 references
    0 references
    28 February 1997
    0 references
    0 references
    0 references
    0 references
    0 references
    nonsequential processes
    0 references
    unfolding constructions
    0 references
    monoidal categories
    0 references
    decorated occurrence nets
    0 references
    place/transition nets
    0 references
    decorated processes
    0 references
    0 references