Semilinearity of the reachability set is decidable for Petri nets - Hauschildt, Dirk (1990)