Sie sind auf Seite 1von 16

Petri-Netze

p1

c1

produce

Sabine Kuske

consume

buffer
p2

VAK 03-BB-699.02, Kurs, 4 SWS, 6 CP


Bachelor-Basis, Theorie
Mo 12:15-13:45 MZH 1460 und Di 12:15-13:45 MZH 1460
Erster Termin: 13.10.2015
put

c2

take

Petri-Netze: Mathematisch fundierte visuelle Modellierung und


Analyse nebenlaufiger, verteilter und nichtdeterministischer Systeme
(z.B. Organisationsablaufe, Fertigungsprozesse,
Rechnerkommunikation, Betriebssysteme,. . . )
Inhalt: verschiedene Petri-Netz-Typen, Prozesse und Nebenlaufigkeit,
Algorithmen zur Entscheidbarkeit wesentlicher Merkmale mit
Korrektheit und Aufwand . . .
Material: Skript, Folien (Stud.IP)
Masterprofile: Sicherheit und Qualitat (SQ),
KI, Kognition, Robotik (KIKR)
Sabine Kuske (Universit
at Bremen, Informatik)

Petri-Netze, WS 2015/2016

1 / 27

Zu meiner Person

1985 1991: Informatikstudium an der Uni Bremen (Diplom)


1991 2015: Mitarbeiterin in der Arbeitsgruppe Theoretische
Informatik unter der Leitung von Prof. Hans-J
org Kreowski
(Stipendium, Drittmittelstelle, Landesstelle, seit 2001 halbe
Landesstelle)
Februar 2000: Promotion
seit 2015: Mitglied im Studienzentrum Informatik (halbe Stelle)
2001 2011: Lehrkraft f
ur besondere Aufgaben (halbe Stelle)
seit 2011 Universtatslektorin (halbe Stelle)

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze, WS 2015/2016

2 / 27

Kontakt
Sabine Kuske
Linzer Str. 9a, Raum 3005
E-Mail: kuske@informatik.uni-bremen.de
Tel: 0421 218-64456
Sprechstunde: nach Vereinbarung
Studienzentrum Informatik
MZH, Raum 1280
Tel: 0421 218-63532
E-Mail: studienzentrum@informatik.uni-bremen.de
Web: www.szi.uni-bremen.de
RSS: feed://www.szi.uni-bremen.de/feed/
Sprechstunde: Mittwochs 15:00 - 16:00 Uhr und nach Vereinbarung

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze, WS 2015/2016

3 / 27

Scheinkriterien

Es gibt zwei Moglichkeiten, den Leistungsnachweis zu erlangen:

1 Regelm
aige Bearbeitung von Ubungsaufgaben
und Fachgesprach

Ubungsbl
atter werden in Gruppen von bis zu 3 Personen bearbeitet.
Im Schnitt muss mindestens 50% richtig bearbeitet werden. Ein Blatt
mit weniger als 50% darf nachgebessert werden.
2

M
undliche Pr
ufung (Wer eine m
undliche Pr
ufung macht, kann gerne

auch die Ubungsbl


atter bearbeiten.)

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze, WS 2015/2016

4 / 27

Lernziele

Grundideen und Prinzipien der Modellierung mit Petri-Netzen


verstehen und erlautern k
onnen.
Strukturelle und entscheidbarkeitstheoretische Eigenschaften von
Petri-Netzen verstehen und beschreiben k
onnen.
Techniken zur Analyse von Petri-Netz-Modellen verstehen und
anwenden konnen.
Beweise von in diesem Zusammenhang interessierenden Aussagen
nachvollziehen und durchf
uhren k
onnen.

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze, WS 2015/2016

5 / 27

Themen der Lehrveranstaltung

Elementare Netzsysteme
Stellen/Transitions-Systeme
Konflikte und Nebenlaufigkeit
Prozesse
Erreichbarkeit, Beschranktheit, Invarianten, Lebendigkeit
Gefarbte Stellen/Transitions-Systeme

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze, WS 2015/2016

6 / 27

Literatur

Lutz Priese, Harro Wimmel: Petri-Netze. Springer, 2008.


Grzegorz Rozenberg, Joost Engelfried Elementary Net Systems. In:
Wolfgang Reisig, Grzegorz Rozenberg (Hrg.): Lectures on Petri
Nets I: Basic Models, Advances in Petri Nets. Lecture Notes in
Computer Science 1491, pp. 12 121, 1998.,
Tadao Murata: Petri Nets. Properties, Analysis and Applications.
Proceedings of the IEEE, Vol. 77, No. 4, April, 1989, pp. 541-580.
Wolfgang Reisig: Petrinetze: Modellierungstechnik, Analysemethoden,
Fallstudien. Vieweg+ Teubner, 2010.

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze, WS 2015/2016

7 / 27

Link zur Petri-Netz-Welt:


http://www.informatik.uni-hamburg.de/TGI/PetriNets/

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze, WS 2015/2016

8 / 27

Petri-Netze

Carl Adam Petri


(* 12. Juli 1926;2. Juli 2010)

hat sie erfunden;


1962 in seiner Dissertation

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze, WS 2015/2016

9 / 27


Historischer Uberblick

1962

Dissertation von Carl Adam Petri

1980

First European Workshop on Application and


Theory of Petri Nets (Straburg)

1981

1. Buch u
ber Petri-Netze: J.L. Peterson: Petri Net
Theory and the Modeling of Systems. Prentice Hall

Seit 1981

viele weitere Konferenzen, gr


otenteils als Tagungsbande der Reihe Lecture Notes in Computer
Science von Springer ver
offentlicht

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze, WS 2015/2016

10 / 27

Petri-Netze

Modelle zur Beschreibung und Analyse von Ablaufen


Darstellung von Nichtdeterminismus und Nebenlaufigkeit
anschaulich und mathematisch fundiert

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze, WS 2015/2016

11 / 27

Petri-Netze

Modellierung auf verschiedenen Abstraktionsebenen


Verbindung der Modellierungsebenen durch Modelltransformation
Verifikation mit Hilfe von Resultaten aus der Petri-Netz-Theorie
Tools f
ur Entwurf, Simulation und Analyse

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze, WS 2015/2016

12 / 27

Syntax

Stellen
Beinhalten Objekte oder reprasentieren Bedingungen.
graphische Darstellung:

Transitionen
verarbeiten/transportieren Objekte oder reprasentieren Ereignisse
graphische Darstellung:

Flurelation, die durch Kanten von Stellen zu Transitionen und von


Transitionen zu Stellen reprasentiert wird.
graphische Darstellung:

Sabine Kuske (Universit


at Bremen, Informatik)

und

Petri-Netze, WS 2015/2016

13 / 27

Marken (Token)
Die Objekte in Stellen werden durch Marken (Token) reprasentiert.
Erf
ullte Bedingungen besitzen eine Marke.

Stelle mit 3 Objekten:

erf
ullte Bedingung:

nicht erf
ullte Bedingung:

Sabine Kuske (Universit


at Bremen, Informatik)

Petri-Netze, WS 2015/2016

14 / 27

Semantik

Durch Schalten von Transitionen wird dynamisches Verhalten modelliert.

Skizze:
vorher

Sabine Kuske (Universit


at Bremen, Informatik)

nachher

Petri-Netze, WS 2015/2016

15 / 27

Beispiel: Erzeuger-Verbraucher-System

p1

c1

consume

produce
buffer
p2

put

Sabine Kuske (Universit


at Bremen, Informatik)

c2

take

Petri-Netze, WS 2015/2016

16 / 27