Analysis issues in Petri nets with inhibitor arcs (Q1606123)

From MaRDI portal
Revision as of 12:16, 4 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
scientific article
Language Label Description Also known as
English
Analysis issues in Petri nets with inhibitor arcs
scientific article

    Statements

    Analysis issues in Petri nets with inhibitor arcs (English)
    0 references
    0 references
    31 July 2002
    0 references
    0 references
    P/T systems with inhibitor arcs
    0 references
    model checking problem
    0 references