Free choice simulation of Petri nets - Linde, Hans-Günther (Univ., 1991)