Hartmann J. Genrich Kurt Lautenbach System Modelling with High-Level Petri Nets. 109-136 1981 13 Theor. Comput. Sci. db/journals/tcs/tcs13.html#GenrichL81