Reisig | Petrinetze | Buch | 978-3-8348-1290-2 | sack.de

Buch, Deutsch, 248 Seiten, Format (B × H): 173 mm x 246 mm, Gewicht: 625 g

Reihe: XLeitfäden der Informatik

Reisig

Petrinetze

Modellierungstechnik, Analysemethoden, Fallstudien
2010
ISBN: 978-3-8348-1290-2
Verlag: Vieweg+Teubner Verlag

Modellierungstechnik, Analysemethoden, Fallstudien

Buch, Deutsch, 248 Seiten, Format (B × H): 173 mm x 246 mm, Gewicht: 625 g

Reihe: XLeitfäden der Informatik

ISBN: 978-3-8348-1290-2
Verlag: Vieweg+Teubner Verlag

Petrinetze haben sich als Modellierungstechnik für informatikbasierte Systeme durchgesetzt. Ihre anschauliche grafische Darstellung, kombiniert mit ausdrucksstarken Analysetechniken, machen sie bei Anwendern, Studierenden und Dozenten gleichermaßen beliebt.
Die Inhalte werden äußerst anschaulich dargestellt; nur zum präzisen Analysieren und Verifizieren wird formal argumentiert. Jedes Thema wird in seinem Kern behandelt; für Varianten, Zusätze und Alternativen wird auf die Literatur verwiesen. Weitere Hinweise, Lösungen der Übungsaufgaben, Diskussionsforen etc. stehen in digitaler Form bereit.
Reisig Petrinetze jetzt bestellen!

Zielgruppe

Studierende der Informatik an Universitäten und Fachhochschulen
Praktiker in der Industrie

Autoren/Hrsg.

Reisig, Wolfgang

Fachgebiete

Weitere Infos & Material

Modellierungstechnik.- Ein Beispiel.- Die grundlegenden Konzepte.- Häufiger Spezialfall: Elementare Systemnetze.- Sequentielle und verteilte Abläufe.- Szenarienbasierte Systemnetze.- Zusätzliche Ausdrucksmittel für elementare Systemnetze.- Das Syntheseproblem.- Komposition von Netzen.- Analysemethoden.- Zustandseigenschaften.- Fallen und Co-Fallen elementarer Systemnetze.- Platzinvarianten elementarer Systemnetze.- Die Kombination von Fallen und Platzinvarianten elementarer Systemnetze.- Fallen und Platzinvarianten allgemeiner Systemnetze.- Markierungs- und Überdeckungsgraphen.- Erreichbarkeit in elementaren Systemnetzen.- Ablaufeigenschaften.- Analyse der Free-Choice-Netze.- Analyse der markierten Graphen.- Wohlgeformte Systemnetze.- Fallstudien.- Wechselseitiger Ausschluss.- Asynchrone Hardware.- Netzwerk-Algorithmen.- Schlussbetrachtungen.

Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin

Ihre Fragen, Wünsche oder Anmerkungen
Vorname*
Nachname*
Ihre E-Mail-Adresse*
Kundennr.
Ihre Nachricht*
Lediglich mit * gekennzeichnete Felder sind Pflichtfelder.
Wenn Sie die im Kontaktformular eingegebenen Daten durch Klick auf den nachfolgenden Button übersenden, erklären Sie sich damit einverstanden, dass wir Ihr Angaben für die Beantwortung Ihrer Anfrage verwenden. Selbstverständlich werden Ihre Daten vertraulich behandelt und nicht an Dritte weitergegeben. Sie können der Verwendung Ihrer Daten jederzeit widersprechen. Das Datenhandling bei Sack Fachmedien erklären wir Ihnen in unserer Datenschutzerklärung.