Entscheidbarkeit bei Petri Netzen Entscheidbarkeit bei Petri Netzen
2008
Petri-Netze Petri-Netze
2008