Die Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Verwaltung des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Informatik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Mathematik des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage des Fachbereiches 3 der Universität Bremen Hier geht es zur Homepage der Universität Bremen


 




Zeige Informatik-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Systems Engineering-Format Pdf_icon Digitale Medien-Format Pdf_icon

Wirtschaftsinformatik-Ansicht

Petri-Netze


Petri Nets 		Modulnummer
Bachelor
Pflicht/Wahl
Winf-Schwerpunkt-Pflicht
Winf-Schwerpunkt-Wahlpflicht
Wahl
Schwerpunkt
IT-Management
E-Business
Logistik
Computational Finance
Anzahl der SWS
V UE K S Prak. Proj. ∑
0 0 4 0 0 0 4
Kreditpunkte : 6 Turnus

i. d. R. angeboten alle 2 Semester

Formale Voraussetzungen : -
Inhaltliche Voraussetzungen : Theoretische Informatik 1, Mathematische Grundlagen 1, Theoretische Informatik 2
Vorgesehenes Semester : ab 5. Semester
Sprache : Deutsch
Ziele :
  • Grundideen und Prinzipien der Modellierung mit Petri-Netzen verstehen und erläutern können.
  • Strukturelle und entscheidbarkeitstheoretische Eigenschaften von Petri-Netzen verstehen und beschreiben können.
  • Techniken zur Analyse von Petri-Netz-Modellen verstehen und anwenden können.
  • Beweise von in diesem Zusammenhang interessierenden Aussagen nachvollziehen und durchführen können.
Inhalte :
  1. Bedingungs/Ereignisnetze und Stellen/Transitionsnetze
  2. Erreichbarkeit, Nebenläufigkeit, Beschränktheit, Überdeckbarkeit, Deadlockfreiheit, Lebendigkeit
  3. Prozesse
  4. Invarianten
  5. Fallen und Co-Fallen
  6. weitere Netztypen, insbesondere höhere Netze
Unterlagen (Skripte, Literatur, Programme usw.) :
  • Sabine Kuske: Petri-Netze (Skript zur Veranstaltung)
  • Wolfgang Reisig: Petri-Netze: Modellierungstechnik, Analysemethoden, Fallstudien. Vieweg + Teubner, 2010
  • Lutz Priese, Harro Wimmel: Petri-Netze. Springer, 2008
  • Peter H. Starke: Analyse von Petri-Netz-Modellen. Teubner, 1990
  • Kurt Jensen, Lars M. Kristensen: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, 2009
Form der Prüfung : i. d. R. Bearbeitung von Übungsaufgaben und Fachgespräch oder mündliche Prüfung
Arbeitsaufwand
Präsenz 56
Übungsbetrieb/Prüfungsvorbereitung 124
Summe 180 h
Lehrende: Dr. S. Kuske Verantwortlich Dr, S. Kuske
Zurück

Zeige Informatik-Format Pdf_icon Wirtschaftsinformatik-Format Pdf_icon Systems Engineering-Format Pdf_icon Digitale Medien-Format Pdf_icon