
Analyse von Petri-Netz-Modellen
Peter H. Starke(Co-Author)
Vieweg+Teubner Verlag
Published on 1. January 1990
Book
Paperback/Softback
253 pages
978-3-519-02244-2 (ISBN)
Description
Dleses Buch habe lch fOr Informatlker, Ingenleure und Mathematlker geschrleben, dle slch mit der Modelllerung und Analyse von komplexen Systemen auf der Grundlage von Petrl-Netzen beschAftlgen oder slch dafOr lnteressieren. Dabel gehe ich auf dle elgentllche Modellblldung nur kurz eln, nlcht nur well dles eln weltes Feld lst, ln dem jeder seine elgenen Erfahrungen machen mu~. sondern well ror den Systementwurf mit Netzen und speziell fUr dle Anwendung von Petrl-Netzen ln der Steuerungstechnlk berelts Buchpubllkatlonen vorllegen. Hauptanllegen dleses Buches lst dle Analyse von Netzmodellen. Wer nlcht iiber dle Ausblldung sondern Ober dle praktlschen BedOrfnlsse selner t?glichen Arbelt mit Petrl-Netzen Freundschaft geschlossen hat, wlrd Netze melst zunAchst als Beschrelbungssprache, also zur Modellblldung angewendet und als nAchsten Schrltt Ablaufslmulatlonen durchgefOhrt haben. Mlt. tels Slmulatlon kann man, lnsbesondere bel durchdachter Anlage der Slmulatlonsexperimente, Fehler lm Entwurf bzw. lm modelllerten System aufspiiren und lhre Ursachen feststellen oder wenlgstens elngrenzen. Man kann aber durch Slmulatlon die Fehlerfrelhelt des Systems nlcht bewelsen, das lst nur durch Analyse mogllch. Um elne Analyse elnes Netzmodells anzulegen und durchzufilhren, slnd theoretlsche Kenntnlsse erforderllch, dle es ermogllchen, rechnergestOtzte Werkzeuge bel der Netzanalyse slnnvoll elnzusetzen und dle Resultate rlchtlg zu lnterpretleren. Dlese Kenntnlsse versuche lch in dlesem Buch zu vermltteln und hoffe, da~ melne Erfahrungen beim Aufbau solcher Programmpakete dabel posltlv "zu Buche" schlagen.
More details
Series
Edition
1990
Language
German
Place of publication
Wiesbaden
Germany
Publishing group
Vieweg & Teubner
Target group
Primary & secondary/elementary & high school
Graduate
Illustrations
253 S.
Dimensions
Height: 229 mm
Width: 152 mm
Thickness: 15 mm
Weight
376 gr
ISBN-13
978-3-519-02244-2 (9783519022442)
DOI
10.1007/978-3-663-09262-9
Schweitzer Classification
Other editions
Additional editions

Peter H. Starke
Analyse von Petri-Netz-Modellen
E-Book
07/2013
Vieweg+Teubner Verlag
€35.96
Available for download
Content
1. Modellierung mit Petri-Netzen.- 2. Grundbegriffe.- 3. Nebenläufigkeit und Konflikt.- 4. Beschränktheit.- 5. Überdeckbarkeit und Erreichbarkeit.- 6. Lebendigkeit.- 7. Äquivalente Markierungen.- 8. Sture Transitionen.- 9. Reduktion.- 10. Netztypen.- 11. Invarianten.- 12. Fairness.- 13. Synchronie.- 14. Struktureigenschaften.- 15. Die Deadlock-Falle-Eigenschaft.- 16. Dekomposition.- 17. Zeitbewertete Netze.- 18. Netze mit Schaltdauer.- 19. Zeit-Netze.- 20. Gefärbte Petri-Netze.- 21. Prädikat/Transitions-Netze.- 22. Werkzeuge.- Stichwortverzeichnis.