University of Bremen Logo  
 
Research Group Theoretical Computer Science
 
HOME
TEAM
TEACHING
RESEARCH

Lehrveranstaltung im Wintersemester 2007/08

Petri-Netze 2

Hauptstudiumskurs in Theoretischer Informatik

VAK 03-05-H-699.58, Modulbereich Theorie, Kategorie V, 6 CP, 4 SWS


Dieser Kurs baut auf dem Kurs Petri-Netze auf, in dem Grundbegriffe der Petri-Netz-Theorie am Beispiel der Stellen/Transitions-Netze erarbeitet wurden. Motiviert durch den praktischen Einsatz von Petri-Netzen zu Modellierungszwecken werden in diesem Kurs Varianten der Stellen/Transitions-Netze vorgestellt und auf ihre formalen Eigenschaften untersucht.

Ein wesentliches Ziel dieses Kurses ist, den selbständigen Umgang mit Literatur der Theoretischen Informatik zu üben. Die Teilnehmenden sollten also bereit sein, sich auf derartige Literatur - auch englischsprachige - einzulassen.


Voraussetzungen

  • Die Inhalte der Veranstaltung Petri-Netze.
  • Grundstudium Informatik, insbesondere die Lehrveranstaltungen Mathematik 1/2 und Theoretische Informatik 1/2.


Prüfungsrelevantes


Prüfungsmodalitäten


Pflichtlektüre: Lesestoff.pdf


Fragensammlung für den 10./11.12.2007: Fragensammlung.pdf


Grundlagen-Literatur

  • Tadao Murata: Petri Nets. Properties, Analysis and Applications. Proceedings of the IEEE, Vol. 77, No. 4, April, 1989, pp. 541-580.
  • Peter H. Starke: Analyse von Petri-Netz-Modellen. Teubner, 1990.
  • Wolfgang Reisig: Petri Nets, An Introduction. EATCS Monographs on Theoretical Computer Science, Springer, 1985.
  • Wolfgang Reisig: Petri-Netze. Springer, 1986.
  • Bernd Baumgarten: Petri-Netze. Spektrum Akademischer Verlag, 1996.
  • Lutz Priese, Harro Wimmel: Theoretische Informatik, Petri-Netze. Springer, 2002.
  • Claude Girault, Rüdiger Valk: Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. Springer, 2003.


Link zur Petri Nets World

Graphen in LateX


Lehrveranstaltende

Prof. Dr. Renate Klempien-Hinrichs Dipl.-Inf. Caro von Totth
Raum: OAS 3007 Raum: OAS 3006
Telefon: 218-8791 Telefon: 218-8792
rena@informatik... caro@informatik...


Zeit und Raum

Mo 15:00-17:00 MZH 7220
Di 08:00-10:00 MZH 7260 Beginn am 23.10.2007


Internes


Mail Address
University of Bremen
Dept. for Math. &
Computer Science

P.O. Box 330 440
28334 Bremen
Germany

Physical Address
Bibliothekstrasse 5
MZH 5130
28359 Bremen

Phone
++49(421)218 64451

Email (Secr.)
Helga Reinermann

helga@tzi.de