%0 Book %A Hausschildt, D. %E Hausschildt, D. %I Universitaet Hamburg %D 1990 %C Hamburg %G englisch %B Bericht / Fachbereich Informatik Universität Hamburg ; %T Semilinearity of the reachability set is decidable for petri nets.