Contact
Teaching
 |
 |
|
| 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/ | ||
 |
 |
||