Synthese von Petrinetzen aus Verhaltensbeschreibungen

Inhalt der Lehrveranstaltung:

In diesem Seminar werden klassische und aktuelle Resultate und Algorithmen zur Synthese von Petrinetzen aus Verhaltensbeschreibungen anhand von Originalarbeiten erarbeitet.

Vorkenntnis für die Lehrveranstaltung:

Vorlesung Halbordnungssemantik von Petrinetzen aus dem SS 2008

Literatur zur Lehrveranstaltung:

siehe Vortragsthemen 

Themen

Die traditionelle Vorgehensweise beim modellbasierten Systementwurf - Konstruktion eines Modells und anschließende explizite oder implizite Betrachtung seines Verhaltens - wird vielfach abgelöst durch eine umgekehrte Vorgehensweise: Das Verhalten wird zunächst formalisiert und modelliert, und das Systemmodell wird daraus anschließend automatisch synthetisiert. In diesem Seminar sollen sowohl die klassischen Methoden zur Synthese von Petrinetzen aus Beschreibungen des sequentiellen Verhaltens, als auch neueste Ergebnisse zur Synthese von Petrinetzen aus Beschreibungen des nicht-sequentiellen Verhaltens, besprochen werden. Dieses Seminar wird im Kontext des von der Deutschen Forschungsgemeinschaft (DFG) geförderten Projekts "Synthese von Petrinetzen aus Szenarien" (SYNOPS) angeboten und eignet sich zur Vorbereitung auf eine Diplomarbeit. Es sind insgesaqmt 21 Vorträge zu vergeben, verteilt auf 7 Themen, die jeweils im Team zu bearbeiten sind. Vergebene Themen sind gekannzeichnet.

• Partial (Set) 2-Structures - 2 Vorträge. Literatur:
  • Badouel E., Darondeau Ph.: Theory of regions. LNCS 1491, 529-586, 1998.
• Synthese von Elementaren Netzen aus endlichen, gerichteten Graphen - 2 Vorträge. Literatur:
  • J. Desel, W. Reisig: The synthesis problem of Petri Nets. Acta Informatica 33, pp. 297-315, 1996
• Synthese beschrifteter Petrinetze aus Transitionssystemen mit bisimularen Zustandsgraph - 4 Vorträge. Literatur:
  • J. Cortadella, M. Kiskinevsky, L. Lavagno, A. Yakovlev: Deriving Petri Nets from Finite Transition Systems. IEEE Transactions on Computers 47,8 1998, 859-882.
  • J. Carmona, J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno, A. Yakovlev: A Symbolic Algorithm for the Synthesis of Bounded Petri Nets. Proceedings of Petri Nets 2008: 92-111
• Synthese von Petrinetzen aus Schritt-Transitionssystemen - 3 Vorträge. Literatur:
  • M. Mukund: Petri Nets and Step Transitions Systems Journal of Foundations of Computer Science. 3,4, 1992, 443-478.
  • E. Badouel, Ph. Darondeau: Theory of Regions. LNCS 1491, 1998, 529-586.
• Polynomielle Synthese von Petrinetzen aus (sequentiellen) Sprachen - 3 Vorträge. Literatur:
  • E. Badouel, L. Bernardinello, Ph. Darondeau: Polynomial Algorithms for Synthesis of Bounded Nets. LNCS 915, 1995, 647-679.
  • R. Lorenz, S. Mauser, G. Juhás: How to synthesize nets from languages: a survey. Winter Simulation Conference 2007: 637-647.
• Synthese von Netzen mit Inhibitorkanten - 3 Vorträge. Literatur:
  • N. Busi, G.M. Pinna: Synthesis of nets with inhibitor arcs. LNCS 1243, 151-165, 1997.
  • M. Pietkiewicz-Koutny: The synthesis porblem for elementary net systems with inhibitor arcs. Fundamenta Informaticae 40(2), 251-283, 1999.
  • M. Pietkiewicz-Koutny: Synthesizing elementary net systems with inhibitor arcs from step transition systems. Fundamenta Informaticae 50(2), 175-203, 2002.
  • R. Lorenz, S. Mauser, G. Juhás: How to synthesize nets from languages: a survey. Winter Simulation Conference 2007: 637-647.
• Synthese von Petrinetzen aus partiellen Sprachen - 4 Vorträge. Literatur:
  • R. Lorenz, R. Bergenthum, S. Mauser, J. Desel: Synthesis of Petri Nets from Finite Partial Languages. Proceedings of ACSD 2007, 157-166, 2007.
  • R. Lorenz, R. Bergenthum, S. Mauser: Theory of regions for the synthesis of inhibitor nets from scenarios. LNCS 4546, 342-361, 2007.
  • R. Lorenz, S. Mauser, G. Juhás: How to synthesize nets from languages: a survey. Winter Simulation Conference 2007: 637-647.
  • R. Lorenz, R. Bergenthum, S. Mauser, J. Desel: Synthesis of Petri Nets from Infinite Partial Languages. Proceedings of ACSD 2008, 2008.
  • R. Bergenthum, S. Mauser: Comparison of Different Algorithms to Synthesize a Petri Net from a Partial Language. CHINA 2008 satellite workshop of ICATPN, 2008.
  • R. Bergenthum, J. Desel, S. Mauser: Synthesis of Petri Nets for Business Process Design. Workshop Verhaltensmodellierung: Best Practices und neue Erkenntnisse an der Modellierung, 2008.
  Vergeben: Plomer, Wiedemann, Haslinger, Abdelhay

Modalitäten und Bewertung

Es ist ein Vortrag zu halten und eine schriftliche Ausarbeitung des Vortragsinhalts anzufertigen. Ziel ist es dabei nicht, dem Dozenten zu zeigen, dass man die Literaturvorlage verstanden hat, sondern deren Inhalt auf geeignetem Abstraktionsniveau allen Zuhörern zu vermitteln (dazu muss man natürlich erstmal deren Inhalt selbst verstanden haben). Bei jedem Vortrag werden Inhalt und Präsentation bewertet. Die Gesamtnote ergibt sich aus dem arithmetischen Mittel aus Bewertung des Inhalts des Vortrags, der Präsentation des Vortrags und der schriftlichen Ausarbeitung. Vorträge werden im Anschluss diskutiert; Hinweise aus der Diskussion sind in die schriftliche Ausarbeitung aufzunehmen. Spätestens eine Woche vor dem Vortrag findet ein individueller Besprechnungstermin mit dem Dozenten statt, bei dem eine vorläufige Version des Vortrags vorzustellen ist.

• Individuelle Vorbesprechung: Spätestens eine Woche vor dem Vortrag. Es ist eine vorläufige Version des Vortrags vorzustellen.
• Vortrag: Es ist eine Präsentation mit Folien vorzubereiten (Powerpoint, Latex, o.ä.). Die Vortragsdauer beträgt 30 Minuten plus 15 Minuten für die anschließende Diskussion. Zum Vortrag sind Studentenausweis und Personalausweis mitzubringen.
• Schriftliche Ausarbeitung: Soll 5 - 8 Seiten umfassen und bis muss bis Semesterende abgegeben werden.
• Prüfungsmodul: Zulassungsvoraussetzungen sind
  • die fristgerechte elektronische Anmeldung in LectureReg zur Veranstaltung
  • die fristgerechte Anmeldung zum Prüfungsmodul bei STUDIS
  Die Teilnahmeberechtigung ist beschränkt auf das Wintersemester 2008/2009

Termine

• Erste Vorbesprechung zum Thema: 27.10. (14 Uhr, Raum 119 F).
• Inhaltliche Vorbesprechungen: 17. + 24.11. (14 Uhr, Raum 119 F).
• Folien-Besprechung: 1-2 Wochen später.
• Vorträge: 8. + 15.12. (14 Uhr, Raum 119 F).
• Schriftliche Ausarbeitung: bis Semesterende.

   

weitere Informationen zu der Lehrveranstaltung:

empfohlenes Studiensemester der Lehrveranstaltung:	ab dem 7. Semester
Fachrichtung Lehrveranstaltung:	Informatik
Nummer der Lehrveranstaltung:	7093
Dauer der Lehrveranstaltung:	2 SWS
Typ der Lehrveranstaltung:	S - Seminar
Leistungspunkte:	4 LP
Bereich:	Informatik
Prüfung:	Sonstige
Lehrveranstaltungspflicht:	Wahlpflicht
Semester:	alle WS und SS