Safe states in banker like resource allocation problems. - Dirk Hauschildt; Rüdiger Valk (Applications and Theory in Petri Nets, 1985)

Safe States in Banker-like Resource Allocations Problems - Dirk Hauschildt; Rüdiger Valk (Inf. Comput., 1987)

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

Petri Net Algorithms in the Theory of Matrix Grammars. - Dirk Hauschildt; Matthias Jantzen (Acta Informatica, 1994)