On the Reachability Problem for 5-Dimensional Vector Addition Systems.
Abstract
The reachability set for vector addition systems of dimension less than equal to five are shown to be effectively computable semilinear sets. Thus reachability, equivalence and containment are decidable up to dimension 5. An example of a non-semilinear reachability set is given for dimension 6.
Document Details
- Document Type
- Technical Report
- Publication Date
- Jun 01, 1976
- Accession Number
- ADA028030
Entities
People
- Jean-jacques Pansiot
- John Hopcroft
Organizations
- Department of Computer Science, Cornell University