Semilinearity of the reachability set is decidable for Petri nets
By: Dirk Hauschildt ; Fachbereich Informatik, Universität Hamburg
Contributors: Universität Hamburg
Publisher: Fachbereich Informatik, Univ
Published: 1990
Place of publication: Hamburg
Language: ger
Number of pages: 160
Notes: FBI HH B 90 146.

Thesis (doctoral)--Universität Hamburg, 1990.