Nebenläufige Prozesse lassen sich geeignet durch den von Adam Petri entwickelten Formalismus modellieren und simulieren. Im Seminar werden einfache Petrinetze definiert und spezifische Erweiterungen dieser Theorie bis hin zu aktuellen Simulatoren diskutiert.
Frequency | Weekday | Time | Format / Place | Period |
---|
Degree programme/academic programme | Validity | Variant | Subdivision | Status | Semester | LP | |
---|---|---|---|---|---|---|---|
Bioinformatik und Genomforschung / Bachelor | (Enrollment until SoSe 2011) | Modul 8 | Pflicht | 4. 6. | 3 | unbenotet | |
Naturwissenschaftliche Informatik / Diplom | (Enrollment until SoSe 2004) | HS |