Semilinearity of the reachablility set is decidable for Petri nets - Hauschildt, Dirk (1990)
Hamburg, Univ., Diss., 1991