The decidability of persistence for vector addition systems (Q1144929)

From MaRDI portal
Revision as of 02:22, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
The decidability of persistence for vector addition systems
scientific article

    Statements

    The decidability of persistence for vector addition systems (English)
    0 references
    0 references
    1980
    0 references
    vector addition systems
    0 references
    Petri net
    0 references
    reachability problem
    0 references
    persistence
    0 references
    Presburger arithmetic
    0 references

    Identifiers