The decidability of the reachability problem for vector addition systems (Preliminary Version)
Data up to Jan 2025
Total Citations Per Year
Abstract
References (11)
Parallel program schemata
1969 • 991 citations
The mathematical theory of context free languages
1966 • 979 citations
The Organization of Computations for Uniform Recurrence Equations
1967 • 557 citations
The covering and boundedness problems for vector addition systems
1978 • 376 citations
Properties of Conflict-Free and Persistent Petri Nets
1978 • 164 citations
Exponential space complete problems for Petri nets and commutative semigroups (Preliminary Report)
1976 • 123 citations
The equality problem for vector addition systems is undecidable
1976 • 118 citations
On deadlock in computer systems
1971 • 68 citations
A decidability theorem for a class of vector-addition systems
1975 • 55 citations
A partial solution to the reachability-problem for vector-addition systems
1974 • 47 citations
Decision problems for HNN groups and vector addition systems
1976 • 8 citations