M. Leszak H. Eggert

• Petri-Netz-Methoden und -Werkzeuge