Entscheidbarkeit bei Petri-Netzen door Harro Wimmel