Note: This is an archvied version of our old webpage. Some links might be broken. The current one can be found here.
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://archive.model.in.tum.de/um/courses/seminar/petri/ws1415/