Entscheidbarkeit bei Petri-Netzen by Harro Wimmel