Projections of vector addition system reachability sets are semilinear
By: by H.K. Büning, T. Lettmann, and E.W. Mayr.
Contributors: Lettmann, T.; Mayr, Ernst.; Stanford University. Computer Science Dept.
Series: Report / Department of Computer Science, Stanford University ;; no. STAN-CS-88-1199; Report (Stanford University. Computer Science Dept.) ;; no. STAN-CS-88-1199.
Publisher: Dept. of Computer Science, Stanford University
Published: 1988
Place of publication: Stanford, Calif
Language: eng
Subjects: Petri nets.; Set theory.; Logic, Symbolic and mathematical.
Notes: Bibliography: p. 8.
Cover title.
"March 1988."
"This work was supported in part by a grant from AT&T, ONR contract N00014-85-C-0731, and NSF grant DCR-8351757"--Added t.p.