Quoted
Original von Currywurst mit Pommes
Mit Petri-Netz habe ich gerechnet weil es an sich relativ simpel ist. Aber dieser formale Beweis hat mich auch überrascht, zumahl in der Übung gesagt wurde, dass wohl formale Beweise drankommen können, aber ganz simpel...vielleicht sogar ohne Schleife. Naja... 8 Punkte Abzug reichen ja noch für ne 1.0