Departement of Computer Science, Report No. STAN-CS-88-1199. Stanford: Stanford University, March 1988.
Abstract: The reachability sets of Vector Addition Systems of dimension six or more can be non-semilinear. It is shown that any one-dimensional projection of the reachability set of an arbitrary vector addition system is semilinear, and hence ``simple''.