lehre am ias - ias.uni-stuttgart.de · © ias, universität stuttgart 2 softwaretechnik i...
TRANSCRIPT
![Page 1: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/1.jpg)
Universität StuttgartInstitut für Automatisierungs- und Softwaretechnik
Prof. Dr.-Ing. Dr. h. c. P. Göhner
© IAS, Universität Stuttgart 1
Lehre am IASgestern, heute und morgen
www.ias.uni-stuttgart.de
Festkolloquium des IAS
am 17.07.2015
Peter Göhner
![Page 2: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/2.jpg)
© IAS, Universität Stuttgart 2
Softwaretechnik I
Softwaretechnik II
Prozessautomatisierung I
Prozessautomatisierung II
Zuverlässigkeit und Sicherheit von Automatisierungssystemen
Vertreten in 2 Studiengängen
250 Prüfungen pro Jahr
Angebotene Lehrveranstaltungen im Jahr 1995:
![Page 3: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/3.jpg)
© IAS, Universität Stuttgart 3
Softwaretechnik I
Softwaretechnik II
Automatisierungstechnik I
Automatisierungstechnik II
Informatik II – Grundlagen der Softwaretechnik
Industrial Automation Systems
Software Engineering for Real Time Systems
Ringvorlesung „Verfahren in der Softwaretechnik“
Zuverlässigkeit und Sicherheit von Automatisierungssystemen
Angebotene Lehrveranstaltungen im Jahr 2015:
Vertreten in 14 Studiengängen
>1000 Prüfungen pro Jahr
![Page 4: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/4.jpg)
© IAS, Universität Stuttgart 4
Situation im Hörsaal
IM HÖRSAAL
IAS‐Lehrveranstaltung Live Zeitabhängig Ortsabhängig Bedingt aktiv Nicht öffentlich
Lehrunterstützung Overheadprojektor Tafelanschrieb
Lernunterstützung Manuskript Buch
1995 20182013201020052000
![Page 5: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/5.jpg)
Manuskript
Prüfungen
1995 20182013201020052000
© IAS, Universität Stuttgart 5
Situation im Hörsaal
IM HÖRSAAL
IAS-ONLINE
IAS‐Lehrveranstaltung Live Zeitabhängig Ortsabhängig Bedingt aktiv Nicht öffentlich
Lehrunterstützung Beamer IAS‐Filme Folienanimation Folienergänzungen
Lernunterstützung Manuskript Buch
2000: IAS-ONLINE wird eingeführt
Alle Vorlesungen als Beamer-Präsentation Online-Bereitstellung des Vorlesungsmaterials
(Manuskript, Prüfungen, Übungen etc.)
![Page 6: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/6.jpg)
© IAS, Universität Stuttgart 6
Situation im Hörsaal
1995 2018201320102005
IM HÖRSAAL
IAS-ONLINE
IAS‐Lehrveranstaltung Live Zeitabhängig Ortsabhängig Bedingt aktiv Nicht öffentlich
Lehrunterstützung Beamer IAS‐Filme Folienanimation Folienergänzungen
Lernunterstützung Buch Online‐Manuskript V + Ü Online‐Prüfungen und Lösungen Online‐Übung
2000
Manuskript
Prüfungen
![Page 7: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/7.jpg)
Manuskript
Prüfungen
1995 20182013201020052000
© IAS, Universität Stuttgart 7
Situation im Hörsaal
IM HÖRSAAL
IAS-ONLINE
MOFIAS
Planspiele Livestream
IAS‐Lehrveranstaltung Live Zeitunabhängig Ortsunabhängig Bedingt aktiv Öffentlich
Lehrunterstützung Beamer IAS‐Filme Folienanimation Folienergänzungen MOFIAS
Lernunterstützung Online‐Manuskript Online‐Planspiele Online‐Aufzeichnungen Online‐Livestream Online‐Chatroom Online‐Forum MOFIAS
2005: Aufzeichnungen werden eingeführt
Vorlesungen und Übungen verfügbar Jederzeit abrufbar Im Lecturnity- und MP4-Format bereitgestellt
![Page 8: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/8.jpg)
Manuskript
Prüfungen
1995 20182013201020052000
© IAS, Universität Stuttgart 8
Situation im Hörsaal
IM HÖRSAAL
IAS-ONLINE
MOFIAS
Planspiele Livestream
IAS‐Lehrveranstaltung Live Zeitunabhängig Ortsunabhängig Bedingt aktiv Öffentlich
Lehrunterstützung Beamer IAS‐Filme Folienanimation Folienergänzungen MOFIAS
Lernunterstützung Online‐Manuskript Online‐Planspiele Online‐Aufzeichnungen Online‐Livestream Online‐Chatroom Online‐Forum MOFIAS
2005: Online-Planspiele kommen hinzu
Spielerische Vermittlung der Vorlesungsinhalte Individuell für jede Vorlesung Highscore zum Vergleich mit anderen
![Page 9: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/9.jpg)
© IAS, Universität Stuttgart 9
Situation im Hörsaal
1995 2018201320102005
IM HÖRSAAL
IAS-ONLINE
IAS‐Lehrveranstaltung Live Zeitunabhängig Ortsunabhängig Bedingt aktiv Öffentlich
Lehrunterstützung Beamer IAS‐Filme Folienanimation Folienergänzungen
Lernunterstützung Buch Online‐Manuskript V + Ü Online‐Prüfungen und Lösungen Online‐Übung Online‐Aufzeichnungen V + Ü Online‐Forum Online‐Planspiele
2000
Aufzeichnungen
Planspiele
Manuskript
Prüfungen
![Page 10: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/10.jpg)
Manuskript
Prüfungen
1995 20182013201020052000
© IAS, Universität Stuttgart 10
Situation im Hörsaal
IM HÖRSAAL
IAS-ONLINE
IAS‐Lehrveranstaltung Live Zeitabhängig Ortsabhängig Bedingt aktiv Nicht öffentlich
Lehrunterstützung Beamer IAS‐Filme Folienanimation Folienergänzungen MOFIAS
Lernunterstützung Online‐Manuskript Online‐Übung Online‐Aufzeichnungen Online‐Chatroom Online‐Forum Online‐Planspiele MOFIAS
Planspiele
MOFIAS
2010: MOFIAS wird erstmals eingesetzt
Smartphone-App zur Interaktion mit dem Dozenten Mit MOFIAS können Fragen gestellt werden Abstimmungen und Bewertungen sind möglich
Fragen und Kommentare
Ergebnis von Abstimmungen
Bewertung der Veranstaltung
Bitte um Wiederholung
Schneller oder langsamer
Code der Veranstaltung
![Page 11: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/11.jpg)
© IAS, Universität Stuttgart 11
Situation im Hörsaal
1995 2018201320102005
IM HÖRSAAL
IAS-ONLINE
IAS‐Lehrveranstaltung Live Zeitunabhängig Ortsunabhängig Aktive Studierendenbeteiligung Öffentlich
Lehrunterstützung Beamer IAS‐Filme Folienanimation Folienergänzungen MOFIAS
Lernunterstützung Online‐Manuskript V + Ü Online‐Prüfungen und Lösungen Online‐Übung Online‐Aufzeichnungen V + Ü Online‐Forum Online‐Planspiele MOFIAS
2000
MOFIASAufzeichnungen
Planspiele
Manuskript
Prüfungen
![Page 12: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/12.jpg)
Manuskript
Prüfungen
1995 20182013201020052000
© IAS, Universität Stuttgart 12
Situation im Hörsaal
IM HÖRSAAL
IAS-ONLINE
MOFIAS
Planspiele Livestream
IAS‐Lehrveranstaltung Live Zeitunabhängig Ortsunabhängig Aktive Studierendenbeteiligung Öffentlich
Lehrunterstützung Beamer IAS‐Filme Folienanimation Folienergänzungen MOFIAS
Lernunterstützung Online‐Manuskript Online‐Planspiele Online‐Aufzeichnungen Online‐Livestream Online‐Chatroom Online‐Forum MOFIAS
2013: Livestream ins Internet
Live-Übertragung von Vorlesungen ins Internet Bildschirminhalt und Ton wird übertragen Live-Rückfragen per MOFIAS möglich
![Page 13: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/13.jpg)
© IAS, Universität Stuttgart 13
Situation im Hörsaal
IM HÖRSAAL
IAS-ONLINE
MOFIASAufzeichnungen
Planspiele Livestream
IAS‐Lehrveranstaltung Live Zeitunabhängig Ortsunabhängig Aktive Studierendenbeteiligung Öffentlich
Lehrunterstützung Beamer IAS‐Filme Folienanimation Folienergänzungen MOFIAS
Lernunterstützung Online‐Manuskript V + Ü Online‐Prüfungen und Lösungen Online‐Aufzeichnungen V + Ü Online‐Forum Online‐Planspiele MOFIAS Online‐Livestream
1995 20182013201020052000
Manuskript
Prüfungen
![Page 14: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/14.jpg)
© IAS, Universität Stuttgart 14
Situation im Hörsaal
IM HÖRSAAL
IAS-ONLINE
MOFIASAufzeichnungen
Planspiele Livestream
IAS‐Lehrveranstaltung Live Zeitunabhängig Ortsunabhängig Aktive Studierendenbeteiligung Öffentlich
Lehrunterstützung Beamer IAS‐Filme Folienanimation Folienergänzungen MOFIAS
Lernunterstützung Online‐Manuskript V + Ü Online‐Prüfungen und Lösungen Online‐Aufzeichnungen V + Ü Online‐Forum Online‐Planspiele MOFIAS Online‐Livestream
1995 20182013201020052000
Manuskript
Prüfungen
2018: E-LECTURE
Verknüpfung der bereitgestellten Online-Inhalte Einbeziehung moderner Anzeigegeräte
IAS-ONLINE
MOFIASAufzeichnungen
Planspiele Livestream
Manuskript
Prüfungen
K Ü
P
A
LF
I
![Page 15: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/15.jpg)
Nächste Termine
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen inPetri-Netzen:Von einer totalen Verklemmung spricht man,wenn eine Markierung, von welcher aus keineTransition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man,wenn eine Markierung existiert, von welcher ausnur noch ein Teil aller Transitionen aktivierbar ist.
Hinweis: Ein lebendiges Netz besitzt keine Verklemmungen!
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich der Lebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierung des Petri-Netzes ausaktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlich lebendige Transitionenbeinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes die Anfangsmarkierung von jederFolgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Ü
A
Inhalt
I
Video: Petri‐Netz‐Beispiel anhand einer Ampelanlage
PlanspielMOFIASForumSkript LEGENDE
![Page 16: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/16.jpg)
Nächste Termine
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen inPetri-Netzen:Von einer totalen Verklemmung spricht man,wenn eine Markierung, von welcher aus keineTransition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man,wenn eine Markierung existiert, von welcher ausnur noch ein Teil aller Transitionen aktivierbar ist.
Hinweis: Ein lebendiges Netz besitzt keine Verklemmungen!
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich der Lebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierung des Petri-Netzes ausaktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlich lebendige Transitionenbeinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes die Anfangsmarkierung von jederFolgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Ü
A
Inhalt
I
Video: Petri‐Netz‐Beispiel anhand einer Ampelanlage
PlanspielMOFIASForumSkript LEGENDE
![Page 17: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/17.jpg)
X
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
![Page 18: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/18.jpg)
X
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
![Page 19: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/19.jpg)
Nächste Termine
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen inPetri-Netzen:Von einer totalen Verklemmung spricht man,wenn eine Markierung, von welcher aus keineTransition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man,wenn eine Markierung existiert, von welcher ausnur noch ein Teil aller Transitionen aktivierbar ist.
Hinweis: Ein lebendiges Netz besitzt keine Verklemmungen!
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich der Lebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierung des Petri-Netzes ausaktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlich lebendige Transitionenbeinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes die Anfangsmarkierung von jederFolgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Ü
A
Inhalt
I
Video: Petri‐Netz‐Beispiel anhand einer Ampelanlage
PlanspielMOFIASForumSkript LEGENDE
![Page 20: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/20.jpg)
Nächste Termine
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen inPetri-Netzen:Von einer totalen Verklemmung spricht man,wenn eine Markierung, von welcher aus keineTransition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man,wenn eine Markierung existiert, von welcher ausnur noch ein Teil aller Transitionen aktivierbar ist.
Hinweis: Ein lebendiges Netz besitzt keine Verklemmungen!
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich der Lebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierung des Petri-Netzes ausaktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlich lebendige Transitionenbeinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes die Anfangsmarkierung von jederFolgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Ü
A
Inhalt
I
Video: Petri‐Netz‐Beispiel anhand einer Ampelanlage
PlanspielMOFIASForumSkript LEGENDE
![Page 21: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/21.jpg)
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen in Petri-Netzen:Von einer totalen Verklemmung spricht man, wenn eine Markierung, vonwelcher aus keine Transition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man, wenn eine Markierung existiert,von welcher aus nur noch ein Teil aller Transitionen aktivierbar ist.
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich derLebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierungdes Petri-Netzes aus aktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlichlebendige Transitionen beinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes dieAnfangsmarkierung von jeder Folgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
X
![Page 22: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/22.jpg)
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen in Petri-Netzen:Von einer totalen Verklemmung spricht man, wenn eine Markierung, vonwelcher aus keine Transition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man, wenn eine Markierung existiert,von welcher aus nur noch ein Teil aller Transitionen aktivierbar ist.
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich derLebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierungdes Petri-Netzes aus aktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlichlebendige Transitionen beinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes dieAnfangsmarkierung von jeder Folgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
X
![Page 23: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/23.jpg)
Video: Petri‐Netz‐Beispiel anhand einer Ampelanlage
Nächste Termine
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen inPetri-Netzen:Von einer totalen Verklemmung spricht man,wenn eine Markierung, von welcher aus keineTransition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man,wenn eine Markierung existiert, von welcher ausnur noch ein Teil aller Transitionen aktivierbar ist.
Hinweis: Ein lebendiges Netz besitzt keine Verklemmungen!
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich der Lebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierung des Petri-Netzes ausaktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlich lebendige Transitionenbeinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes die Anfangsmarkierung von jederFolgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Ü
A
Inhalt
I
PlanspielMOFIASForumSkript LEGENDE
LEGENDE Filme und Videos
Kurzfrage
Übung
Prüfung
Aufzeichnung
Lösung
Forschung
Informationen aus der Literatur
Aktuelle Ansicht schließen
K
Ü
P
A
L
F
I
Ergänzende MaterialienZusätzliche MaterialienWichtige Materialien X
Bedeutung der Farben
X
![Page 24: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/24.jpg)
Video: Petri‐Netz‐Beispiel anhand einer Ampelanlage
Nächste Termine
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen inPetri-Netzen:Von einer totalen Verklemmung spricht man,wenn eine Markierung, von welcher aus keineTransition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man,wenn eine Markierung existiert, von welcher ausnur noch ein Teil aller Transitionen aktivierbar ist.
Hinweis: Ein lebendiges Netz besitzt keine Verklemmungen!
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich der Lebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierung des Petri-Netzes ausaktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlich lebendige Transitionenbeinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes die Anfangsmarkierung von jederFolgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Ü
A
Inhalt
I
PlanspielMOFIASForumSkript LEGENDE
LEGENDE Filme und Videos
Kurzfrage
Übung
Prüfung
Aufzeichnung
Lösung
Forschung
Informationen aus der Literatur
Aktuelle Ansicht schließen
K
Ü
P
A
L
F
I
Ergänzende MaterialienZusätzliche MaterialienWichtige Materialien X
Bedeutung der Farben
X
![Page 25: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/25.jpg)
Nächste Termine
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen inPetri-Netzen:Von einer totalen Verklemmung spricht man,wenn eine Markierung, von welcher aus keineTransition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man,wenn eine Markierung existiert, von welcher ausnur noch ein Teil aller Transitionen aktivierbar ist.
Hinweis: Ein lebendiges Netz besitzt keine Verklemmungen!
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich der Lebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierung des Petri-Netzes ausaktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlich lebendige Transitionenbeinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes die Anfangsmarkierung von jederFolgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Ü
A
Inhalt
I
Video: Petri‐Netz‐Beispiel anhand einer Ampelanlage
PlanspielMOFIASForumSkript LEGENDE
![Page 26: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/26.jpg)
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
X
![Page 27: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/27.jpg)
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
X
![Page 28: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/28.jpg)
Nächste Termine
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen inPetri-Netzen:Von einer totalen Verklemmung spricht man,wenn eine Markierung, von welcher aus keineTransition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man,wenn eine Markierung existiert, von welcher ausnur noch ein Teil aller Transitionen aktivierbar ist.
Hinweis: Ein lebendiges Netz besitzt keine Verklemmungen!
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich der Lebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierung des Petri-Netzes ausaktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlich lebendige Transitionenbeinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes die Anfangsmarkierung von jederFolgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Ü
A
Inhalt
I
Video: Petri‐Netz‐Beispiel anhand einer Ampelanlage
PlanspielMOFIASForumSkript LEGENDE
![Page 29: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/29.jpg)
Nächste Termine
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen inPetri-Netzen:Von einer totalen Verklemmung spricht man,wenn eine Markierung, von welcher aus keineTransition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man,wenn eine Markierung existiert, von welcher ausnur noch ein Teil aller Transitionen aktivierbar ist.
Hinweis: Ein lebendiges Netz besitzt keine Verklemmungen!
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich der Lebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierung des Petri-Netzes ausaktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlich lebendige Transitionenbeinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes die Anfangsmarkierung von jederFolgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Ü
A
Inhalt
I
Video: Petri‐Netz‐Beispiel anhand einer Ampelanlage
PlanspielMOFIASForumSkript LEGENDE
![Page 30: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/30.jpg)
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
a) Untersuchung auf totale VerklemmungenUntersuchung Sie das in Bild 4.1 dargestellte Petri‐Netz mit Hilfe graphentheoretischer Methoden auftotale Verklemmungen. Erstellen Sie hierzu denMarkierungsgraphen des Petri‐Netzes.Berücksichtigen Sie dabei auch gleichzeitigablaufende Vorgänge.
Bild 4.1: Petri‐Netz
b) Nachweis von LebendigkeitIm Gegensatz zu totalen Verklemmungen sind partielle Verklemmungen i. A. erst nach einersog. Kondenstaion des Markierungsgraphen ersichtlich. Untersuchen Sie das nachfolgendabgebildete Petri‐Netz auf Lebendigkeit (weder totale noch partielle Verklemmungen dürfenvorkommen) durch Kondensation des zugehörigen Markierungsgraphen.
AT II - Übung 4:Petri-Netz-Modellierung von Steuerungen (A)
Aufgabe 4.1: Einführung in Petri-Netze
L
A
L
Inhalt PlanspielMOFIASForumSkript LEGENDE
Nächste Termine
X
![Page 31: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/31.jpg)
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
a) Untersuchung auf totale VerklemmungenUntersuchung Sie das in Bild 4.1 dargestellte Petri‐Netz mit Hilfe graphentheoretischer Methoden auftotale Verklemmungen. Erstellen Sie hierzu denMarkierungsgraphen des Petri‐Netzes.Berücksichtigen Sie dabei auch gleichzeitigablaufende Vorgänge.
Bild 4.1: Petri‐Netz
b) Nachweis von LebendigkeitIm Gegensatz zu totalen Verklemmungen sind partielle Verklemmungen i. A. erst nach einersog. Kondensation des Markierungsgraphen ersichtlich. Untersuchen Sie das nachfolgendabgebildete Petri‐Netz auf Lebendigkeit (weder totale noch partielle Verklemmungen dürfenvorkommen) durch Kondensation des zugehörigen Markierungsgraphen.
AT II - Übung 4:Petri-Netz-Modellierung von Steuerungen (A)
Aufgabe 4.1: Einführung in Petri-Netze
L
A
L
Inhalt PlanspielMOFIASForumSkript LEGENDE
Nächste Termine
X
![Page 32: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/32.jpg)
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
X
![Page 33: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/33.jpg)
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
X
![Page 34: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/34.jpg)
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
a) Untersuchung auf totale VerklemmungenUntersuchung Sie das in Bild 4.1 dargestellte Petri‐Netz mit Hilfe graphentheoretischer Methoden auftotale Verklemmungen. Erstellen Sie hierzu denMarkierungsgraphen des Petri‐Netzes.Berücksichtigen Sie dabei auch gleichzeitigablaufende Vorgänge.
Bild 4.1: Petri‐Netz
b) Nachweis von LebendigkeitIm Gegensatz zu totalen Verklemmungen sind partielle Verklemmungen i. A. erst nach einersog. Kondenstaion des Markierungsgraphen ersichtlich. Untersuchen Sie das nachfolgendabgebildete Petri‐Netz auf Lebendigkeit (weder totale noch partielle Verklemmungen dürfenvorkommen) durch Kondensation des zugehörigen Markierungsgraphen.
AT II - Übung 4:Petri-Netz-Modellierung von Steuerungen (A)
Aufgabe 4.1: Einführung in Petri-Netze
L
A
L
Inhalt PlanspielMOFIASForumSkript LEGENDE
Nächste Termine
X
![Page 35: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/35.jpg)
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
a) Untersuchung auf totale VerklemmungenUntersuchung Sie das in Bild 4.1 dargestellte Petri‐Netz mit Hilfe graphentheoretischer Methoden auftotale Verklemmungen. Erstellen Sie hierzu denMarkierungsgraphen des Petri‐Netzes.Berücksichtigen Sie dabei auch gleichzeitigablaufende Vorgänge.
Bild 4.1: Petri‐Netz
b) Nachweis von LebendigkeitIm Gegensatz zu totalen Verklemmungen sind partielle Verklemmungen i. A. erst nach einersog. Kondenstaion des Markierungsgraphen ersichtlich. Untersuchen Sie das nachfolgendabgebildete Petri‐Netz auf Lebendigkeit (weder totale noch partielle Verklemmungen dürfenvorkommen) durch Kondensation des zugehörigen Markierungsgraphen.
AT II - Übung 4:Petri-Netz-Modellierung von Steuerungen (A)
Aufgabe 4.1: Einführung in Petri-Netze
L
A
L
Inhalt PlanspielMOFIASForumSkript LEGENDE
Nächste Termine
X
![Page 36: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/36.jpg)
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
AT II - Übung 4: Petri-Netz-Modellierung vonSteuerungen (A) (Musterlösung)
Aufgabe 4.1: Einführung in Petri-Netze
a) Untersuchung auf totale Verklemmungen
A
X
![Page 37: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/37.jpg)
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
AT II - Übung 4: Petri-Netz-Modellierung vonSteuerungen (A) (Musterlösung)
Aufgabe 4.1: Einführung in Petri-Netze
a) Untersuchung auf totale Verklemmungen
A
X
![Page 38: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/38.jpg)
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
a) Untersuchung auf totale VerklemmungenUntersuchung Sie das in Bild 4.1 dargestellte Petri‐Netz mit Hilfe graphentheoretischer Methoden auftotale Verklemmungen. Erstellen Sie hierzu denMarkierungsgraphen des Petri‐Netzes.Berücksichtigen Sie dabei auch gleichzeitigablaufende Vorgänge.
Bild 4.1: Petri‐Netz
b) Nachweis von LebendigkeitIm Gegensatz zu totalen Verklemmungen sind partielle Verklemmungen i. A. erst nach einersog. Kondenstaion des Markierungsgraphen ersichtlich. Untersuchen Sie das nachfolgendabgebildete Petri‐Netz auf Lebendigkeit (weder totale noch partielle Verklemmungen dürfenvorkommen) durch Kondensation des zugehörigen Markierungsgraphen.
AT II - Übung 4:Petri-Netz-Modellierung von Steuerungen (A)
Aufgabe 4.1: Einführung in Petri-Netze
L
A
L
Inhalt PlanspielMOFIASForumSkript LEGENDE
Nächste Termine
X
![Page 39: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/39.jpg)
Nächste Termine
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen inPetri-Netzen:Von einer totalen Verklemmung spricht man,wenn eine Markierung, von welcher aus keineTransition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man,wenn eine Markierung existiert, von welcher ausnur noch ein Teil aller Transitionen aktivierbar ist.
Hinweis: Ein lebendiges Netz besitzt keine Verklemmungen!
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich der Lebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierung des Petri-Netzes ausaktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlich lebendige Transitionenbeinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes die Anfangsmarkierung von jederFolgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Ü
A
Inhalt
I
Video: Petri‐Netz‐Beispiel anhand einer Ampelanlage
PlanspielMOFIASForumSkript LEGENDE
![Page 40: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/40.jpg)
Nächste Termine
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen inPetri-Netzen:Von einer totalen Verklemmung spricht man,wenn eine Markierung, von welcher aus keineTransition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man,wenn eine Markierung existiert, von welcher ausnur noch ein Teil aller Transitionen aktivierbar ist.
Hinweis: Ein lebendiges Netz besitzt keine Verklemmungen!
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich der Lebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierung des Petri-Netzes ausaktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlich lebendige Transitionenbeinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes die Anfangsmarkierung von jederFolgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Ü
A
Inhalt
I
Video: Petri‐Netz‐Beispiel anhand einer Ampelanlage
PlanspielMOFIASForumSkript LEGENDE
![Page 41: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/41.jpg)
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Wie lauten die Schaltregeln bei Petri-Netzen?
Bitte stellen Sie Ihre Frage:
Absenden
Wo soll Ihre Frage gepostet werden?
Live Vorlesung
X
![Page 42: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/42.jpg)
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Wie lauten die Schaltregeln bei Petri-Netzen?
Bitte stellen Sie Ihre Frage:
Absenden
Wo soll Ihre Frage gepostet werden?
Live Vorlesung
X
![Page 43: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/43.jpg)
Nächste Termine
Eigenschaften von Petri-Netzen
Verklemmung (Deadlock)Es existieren zwei Arten von Verklemmungen inPetri-Netzen:Von einer totalen Verklemmung spricht man,wenn eine Markierung, von welcher aus keineTransition mehr schalten kann, existiert.Von einer partiellen Verklemmung spricht man,wenn eine Markierung existiert, von welcher ausnur noch ein Teil aller Transitionen aktivierbar ist.
Hinweis: Ein lebendiges Netz besitzt keine Verklemmungen!
LebendigkeitSowohl eine Transition als auch gesamtes Netz wird hinsichtlich der Lebendigkeit beschrieben:Eine lebendige Transition stellt eine Transition dar, die von jeder Markierung des Petri-Netzes ausaktivierbar ist.Als lebendiges Netz wird ein Petri-Netz bezeichnet, das ausschließlich lebendige Transitionenbeinhaltet.
ReversibilitätDie Reversibilität beschreibt, ob innerhalb eines Petri-Netzes die Anfangsmarkierung von jederFolgemarkierung aus reproduzierbar ist.
E‐LECTURE AUTOMATISIERUNGSTECHNIK II ‐ 2.5 PROZESSFÜHRUNG VON FOLGE‐ UND STÜCKPROZESSEN
Ü
A
Inhalt
I
Video: Petri‐Netz‐Beispiel anhand einer Ampelanlage
PlanspielMOFIASForumSkript LEGENDE
![Page 44: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/44.jpg)
© IAS, Universität Stuttgart 44
Situation im Hörsaal
IM HÖRSAAL
IAS-ONLINE
MOFIASAufzeichnungen
Planspiele Livestream
IAS‐Lehrveranstaltung Live Zeitunabhängig Ortsunabhängig Aktive Studierendenbeteiligung Öffentlich
Lehrunterstützung Beamer IAS‐Filme Folienanimation Folienergänzungen MOFIAS
Lernunterstützung Online‐Manuskript V + Ü Online‐Prüfungen und Lösungen Online‐Aufzeichnungen V + Ü Online‐Forum & ‐Planspiele MOFIAS Online‐Livestream E‐LECTURE
1995 20182013201020052000
Manuskript
PrüfungenE-LECTURE
![Page 45: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/45.jpg)
© IAS, Universität Stuttgart 45
Kommentare von Studierenden
1995 Klassische Vorlesung
2018 E-LECTURE
2013 Livestream:
2010 MOFIAS:
2005 Aufzeichnungen:
2000 IAS-ONLINE:„Die Aufzeichnung ist sehr praktisch,
da Mechatronik-Studenten dienstags eineparallele Veranstaltung haben.“
„Durch die Möglichkeit des Livestreamsist es im Vortragssaal angenehm ruhig.“
„MOFIAS ist super, um Fragen zu stellen.“
„Online-Portal: Eine gelungene Sache,sehr übersichtlich und lehrreich, werde es zur Prüfungs-
vorbereitung auf jeden Fall nutzen.“
![Page 46: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/46.jpg)
Vielen Dank für Ihre Aufmerksamkeit.
© IAS, Universität Stuttgart 46
DV3DV4
![Page 47: Lehre am IAS - ias.uni-stuttgart.de · © IAS, Universität Stuttgart 2 Softwaretechnik I Softwaretechnik II Prozessautomatisierung I Prozessautomatisierung II Zuverlässigkeit und](https://reader030.vdocuments.pub/reader030/viewer/2022040219/5e180ab002d9290cee73a61c/html5/thumbnails/47.jpg)
Folie 46
DV3 Vor dieser Folie soll eine kurze, lebendige Zusammenfassung (ca. 5 Zeilen)Desirée Vögeli; 07.07.2015
DV4 Gerne auch Studentenmeinungen zu den EntwicklungenDesirée Vögeli; 07.07.2015