Ursula Goltz Arend Rensink Finite Petri Nets as Models for Recursive Causal Behaviour. 169-179 1994 124 Theor. Comput. Sci. 1 db/journals/tcs/tcs124.html#GoltzR94