Linear time analysis of properties of conflict-free and general Petri nets (Q620942)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Linear time analysis of properties of conflict-free and general Petri nets
scientific article

    Statements

    Linear time analysis of properties of conflict-free and general Petri nets (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    2 February 2011
    0 references
    Petri nets
    0 references
    conflict-free Petri nets
    0 references
    marked graphs
    0 references
    coverability
    0 references
    liveness
    0 references
    boundedness
    0 references
    directed hypergraphs
    0 references
    incremental algorithms
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers