Deze website maakt gebruik van cookies. Klik hier voor meer informatie.X sluit
Uitgebreid zoeken
Boek

Petri-netze Fur Ingenieure

Modellbildung Und Analyse Diskret Gesteuerter Systeme

Petri-netze Fur Ingenieure - Abel, Dirk - ISBN: 9783642956034
Prijs: € 57,15
Levertijd: 12 tot 15 werkdagen
Bindwijze: Boek
Genre: Bedrijfsinformatietechnologie
Boekenliefde.nl:
Petri-netze Fur Ingenieure op boekenliefde.nl
Add to cart

Beschrijving

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.

Details

Titel: Petri-netze Fur Ingenieure
auteur: Abel, Dirk
Mediatype: Boek
Taal: Duits
Druk: 1
Aantal pagina's: 138
Uitgever: Springer-verlag Berlin And Heidelberg Gmbh & Co. Kg
Plaats van publicatie: DE
NUR: Bedrijfsinformatietechnologie
ISBN/ISBN13: 9783642956034
Intern nummer: 23521276

Biografie (woord)

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.

Inhoudsopgave

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.

Winkelvoorraad

Dit product is op dit moment niet op voorraad in een van onze vestigingen.