Reisig | Petrinetze | E-Book | sack.de
E-Book

E-Book, Deutsch, 264 Seiten, eBook

Reihe: XLeitfäden der Informatik

Reisig Petrinetze

Modellierungstechnik, Analysemethoden, Fallstudien
2010
ISBN: 978-3-8348-9708-4
Verlag: Vieweg & Teubner
Format: PDF
 Kopierschutz: 1 - PDF Watermark

Modellierungstechnik, Analysemethoden, Fallstudien

E-Book, Deutsch, 264 Seiten, eBook

Reihe: XLeitfäden der Informatik

ISBN: 978-3-8348-9708-4
Verlag: Vieweg & Teubner
Format: PDF
 Kopierschutz: 1 - PDF Watermark

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. Zielgruppe Studierende der Informatik an Universitäten und Fachhochschulen.

Reisig Petrinetze jetzt bestellen!

Zielgruppe

Upper undergraduate

Autoren/Hrsg.

Reisig, Wolfgang

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.