Text this: Petri-Netz-Methoden und-Werkzeuge. Hilfsmittel zur Entwurfsspezifikation und - validation von Rechensystemen /