Overview

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.

Full Product Details

Author:   Dirk Abel
Publisher:   Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Imprint:   Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Edition:   Softcover reprint of the original 1st ed. 1990
Dimensions:   Width: 17.00cm , Height: 0.80cm , Length: 24.20cm
Weight:   0.260kg
ISBN:  

9783642956034

ISBN 10:   3642956033
Pages:   130
Publication Date:   12 February 2012
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand  
We will order this item for you from a manufactured on demand supplier.
Language:   German

Table of Contents

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.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions