Lehrende: Peter Langner
Veranstaltungsart: Seminar
Anzeige im Stundenplan: Sem Nets
Semesterwochenstunden: 2
Credits: 3,0
Unterrichtssprache: Deutsch
Min. | Max. Teilnehmerzahl: - | 20
Anmeldegruppe: Anmeldegruppe Seminare
Kommentare/ Inhalte: Du hast Interesse and Informatik & Physik? Du möchtest lernen, wie man natürlich sprachlich formulierte Anforderungen formalisiert und Formalismen natürlich sprachlich ausdrückt? Carl Adam Petri (1926-2010) hat mit den nach ihm benannten Petri-Netzen zur Modellierung und Analyse von nebenläufigen Prozessen wesentlich zur theoretischen Informatik beigetragen. Ihm war es dabei immer ein Anliegen, dass seine Arbeit einen Bezug zur praktischen Anwendung hat. So wurden die Petri-Netze z.B. zur Modellierung und Analyse von Geschäftsprozessen von SAPs S/4HANA ERP-System verwendet. Auf seiner Suche nach einer Theorie der Nebenläufigkeit war es ihm immer auch ein Anliegen kompatibel mit der Physik zu sein. Petri war Ehrenprofessor an der Universität Hamburg am Fachbereich Informatik und hat hier auch gelehrt. Dabei haben wir mit ihm auch Ideen und Konzepte diskutiert, die dann in seinem letzten Artikel Nets, Time and Space im Theoretical Computer Science 153 (196) erschienen sind. Im Seminar werden wir diesen Artikel zusammen lesen und für die einzelnen Abschnitte die vorhanden Formalismen erläutern und mit Beispielen illustrieren. Wenn noch keine Formalismen vorhanden sind, so werden wir die Ansätze zur Formalisierung diskutieren.
Lernziel:
Vorgehen: Am Anfang erfolgt eine Einführung durch den Veranstalter. Anschließend werden wir den Artikel in Abschnitte aufteilen. Ein oder mehrere Teilnehmer übernehmen es dann, den jeweiligen Abschnitt im Eigenstudium vorzubereiten, einen erklärenden Text zu schreiben und im Seminar zu präsentieren. Vorkenntnisse im Bereich Petri-Netze sind hilfreich, aber nicht notwendig.
Literatur: C.A. Petri, Nets, time and space, Theoretical Computer Science 159 (1996) https://www.sciencedirect.com/science/article/pii/0304397595001166?via%3Dihub Weitere Literatur wird im Seminar bekanntgegeben. Die Literatur ist fast ausschließlich in englischer Sprache.
Zusätzliche Hinweise zu Prüfungen: Aktive Mitarbeit, Referat und am Seminarende eine Hausarbeit (ca. 12 Seiten).
