I7 Logo
Chair for Foundations of Software Reliability and Theoretical Computer Science
Informatik Logo TUM Logo
Courses

Bachelor-Seminar -- Petrinetze
held by: Dipl.-Math. Maximilian Schlund
M.Sc. René Neumann
Dr. Michael Luttenberger
held in: WS 2014/2015
sws: 2
ects: 4
Petri-Netze sind das vielleicht wichtigste Werkzeug zur Modellierung nebenläufiger Prozesse in der Informatik. In diesem Seminar befassen wir uns mit grundlegenden Definitionen von Petri-Netzen als Modellierungstechnik sowie mit der formalen Analyse von Netzen. Zu diesem Zweck diskutieren wir einige Fallstudien wie wechselseitigen Ausschluss, Geschäftsprozesse, oder Netzwerkalgorithmen. Das Seminar baut auf dem Buch Petrinetze: Modellierungstechnik, Analysemethoden, Fallstudien von Wolfgang Reisig auf. Die entsprechenden Kapitel werden wir ausgedruckt bereitstellen.
more information: http://www7.in.tum.de/um/courses/seminar/petri/ws1415/