Petri-Netze Für Ingenieure: Modellbildung Und Analyse Diskret Gesteuerter Systeme

ISBN-13: 9783642956034 / Niemiecki / Miękka / 2012 / 138 str.

Dirk Abel

Opis

Die Analyse diskret gesteuerter Systeme beschr nkt sich bisher auf die M glichkeiten der Simulation; f r zeitlich parallele, nebenl ufige Prozesse ben tigt man als weiteres, leistungsf higes Instrument die Petri-Netze. Das Buch f hrt in die Theorie ein, soweit dies f r den Anwender erforderlich ist, beschreibt die M glichkeiten und zeigt die Anwendung sowohl mit Hilfe graphentheoretischer als auch algebraischer Methoden.

Spis treści

1 Einführung.- 2 Theorie der Petri-Netze.- 2.1 Syntax und Darstellung.- 2.2 Schaltregel und Erreichbarkeit.- 2.3 Lebendigkeit und Beschränktheit.- 2.4 Konflikt und Kontakt.- 3 Modelle diskret gesteuerter Systeme.- 3.1 Petri-Netze als Automaten.- 3.2 Synthese von Petri-Netzen.- 3.3 Spezielle Netzklassen.- 3.4 Netze mit individuellen Marken.- 3.5 Dynamische Netzeigenschaften.- 4 Verknüpfung von Teilsystemen.- 4.1 Hierarchische Organisation von Petri-Netzen.- 4.2 Abbildung zeitbehafteter Vorgänge.- 4.3 Alternative Netzverfeinerungen.- 5 Graphentheoretische Analyse.- 5.1 Überblick.- 5.2 Nachweis der Lebendigkeit für beschränkte Petri-Netze.- 5.2.1 Konstruktion und Auswertung des Erreichbarkeitsgraphen.- 5.2.2 Kondensation gerichteter Graphen.- 5.2.3 Lebendigkeitsnachweis.- 5.3 Nachweis der Beschränktheit von Petri-Netzen.- 5.3.1 Konstruktion des Überdeckungsgraphen.- 5.3.2 Beschränktheitsnachweis.- 6 Algebraische Analyse.- 6.1 Überblick.- 6.2 Definition und Bedeutung der Netzinvarianten.- 6.2.1 Definition der S-Invarianten.- 6.2.2 Definition der T-Invarianten.- 6.2.3 Interpretation der Invarianten.- 6.3 Ermittlung der Netzinvarianten.- 6.3.1 Einführung in das mathematische Problem.- 6.3.2 Algorithmus zur Berechnung ganzer Lösungen.- 6.3.3 Verfahren zur Ermittlung positiver Lösungen.- 7 Anwendungsbeispiel.- 7.1 Beispielprozeß.- 7.2 Graphentheoretische Analyse eines Teilsystems.- 7.3 Algebraische Analyse des Gesamtsystems.- 8 Zusammenfassung und Ausblick.- Nachwort.- Formelzeichen.- Definitionen und Sätze.

O autorze

Professor Dirk Abel absolvierte von Februar 1979 bis Mai 1979 ein Industriepraktikum in der Werkzeugfabrik August Rüggeber, Marienheide, und der Edelstahlgießerei Schmidt & Clemens, Kaiserau. Von Oktober 1979 bis Oktober 1983 studierte Professor Abel Maschinenbau an der RWTH Aachen, Diplomzeugnis vom Oktober 1983. Seit Oktober 2001 ist er Leiter des Instituts für Regelungstechnik (C4-Professur) der RWTH Aachen.