0,00 €*
Cover: 9783834812902 | Petrinetze | Modellierungstechnik, Analysemethoden, Fallstudien | Buch
Dekorationsartikel gehören nicht zum Leistungsumfang.
Petrinetze
Modellierungstechnik, Analysemethoden, Fallstudien
Buch von Wolfgang Reisig
Sprache: Deutsch

37,99 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 1-2 Wochen

Kategorien:
Beschreibung
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.
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.
Über den Autor
Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin
Zusammenfassung
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.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2010
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9783834812902
ISBN-10: 3834812900
Sprache: Deutsch
Einband: Gebunden
Autor: Reisig, Wolfgang
Hersteller: Vieweg & Teubner
Vieweg+Teubner Verlag
Verantwortliche Person für die EU: Vieweg+Teubner, Abraham-Lincoln-Str. 46, D-65198 Wiesbaden, buchhandel-buch@springer.com
Maße: 246 x 173 x 20 mm
Von/Mit: Wolfgang Reisig
Erscheinungsdatum: 15.07.2010
Gewicht: 0,625 kg
Artikel-ID: 101072698
Über den Autor
Prof. Dr. Wolfgang Reisig, Humboldt-Universität zu Berlin
Zusammenfassung
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.
Inhaltsverzeichnis
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.
Details
Erscheinungsjahr: 2010
Genre: Informatik, Mathematik, Medizin, Naturwissenschaften, Technik
Rubrik: Naturwissenschaften & Technik
Medium: Buch
ISBN-13: 9783834812902
ISBN-10: 3834812900
Sprache: Deutsch
Einband: Gebunden
Autor: Reisig, Wolfgang
Hersteller: Vieweg & Teubner
Vieweg+Teubner Verlag
Verantwortliche Person für die EU: Vieweg+Teubner, Abraham-Lincoln-Str. 46, D-65198 Wiesbaden, buchhandel-buch@springer.com
Maße: 246 x 173 x 20 mm
Von/Mit: Wolfgang Reisig
Erscheinungsdatum: 15.07.2010
Gewicht: 0,625 kg
Artikel-ID: 101072698
Sicherheitshinweis

Ähnliche Produkte

Ähnliche Produkte

Taschenbuch
Cover: 9783540594840 | Arbeitsbuch zur Elektrotechnik 1 | Steffen Paul (u. a.) | Taschenbuch
Arbeitsbuch zur Elektrotechnik 1
EAN: 9783540594840
Sprache: Deutsch
Von/Mit: Steffen Paul (u. a.)

44,99 €*

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9780262528900 | Software Abstractions, revised edition | Logic, Language, and Analysis
Software Abstractions, revised edition
Logic, Language, and Analysis
EAN: 9780262528900
Sprache: Englisch
Von/Mit: Daniel Jackson

43,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
-10 %
Cover: 9783540071679 | PASCAL User Manual and Report | Niklaus Wirth (u. a.) | Taschenbuch
PASCAL User Manual and Report
EAN: 9783540071679
Sprache: Englisch
Von/Mit: Niklaus Wirth (u. a.)

47,95 €* UVP 53,49 €

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9780123850034 | API Design for C++ | Martin Reddy | Taschenbuch | Morgan Kaufmann
API Design for C++
EAN: 9780123850034
Sprache: Englisch
Von/Mit: Martin Reddy

55,80 €*

Lieferzeit 4-7 Werktage

Taschenbuch
Cover: 9780198803201 | Computer Simulation of Liquids | Dominic J. Tildesley (u. a.) | Buch
Computer Simulation of Liquids
EAN: 9780198803201
Sprache: Englisch
Von/Mit: Dominic J. Tildesley (u. a.)

94,20 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9781784390204 | Building Network and Servers Using Beaglebone | Bill Pretty (u. a.)
Building Network and Servers Using Beaglebone
EAN: 9781784390204
Sprache: Englisch
Von/Mit: Bill Pretty (u. a.)

34,80 €*

Lieferzeit 1-2 Wochen

Taschenbuch
-9 %
Cover: 9789811379963 | Proof Theory and Algebra in Logic | Hiroakira Ono | Taschenbuch | viii
Proof Theory and Algebra in Logic
EAN: 9789811379963
Sprache: Englisch
Von/Mit: Hiroakira Ono

36,80 €* UVP 40,65 €

Lieferzeit 2-4 Werktage

Taschenbuch
Cover: 9780262538862 | The OpenMP Common Core | Making OpenMP Simple Again | Koniges (u. a.)
The OpenMP Common Core
Making OpenMP Simple Again
EAN: 9780262538862
Sprache: Englisch
Von/Mit: Alice E. Koniges (u. a.)

50,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
-16 %
Cover: 9781484272947 | Design Patterns in Modern C++20 | Dmitri Nesteruk | Taschenbuch | xiv
Design Patterns in Modern C++20
Reusable Approaches for Object-Oriented Software Design
EAN: 9781484272947
Sprache: Englisch
Von/Mit: Dmitri Nesteruk

40,20 €* UVP 48,14 €

Lieferzeit 2-4 Werktage

Buch
Cover: 9780192843593 | The Primacy of Doubt | Tim Palmer | Buch | Gebunden | Englisch | 2022
The Primacy of Doubt
From climate change to quantum physics, how the science of uncertainty can help predict and understand our chaotic world
EAN: 9780192843593
Sprache: Englisch
Von/Mit: Tim Palmer

35,40 €*

Lieferzeit 1-2 Wochen

Taschenbuch
Cover: 9780357670583 | Introduction to the Theory of Computation | Michael Sipser | Buch
Introduction to the Theory of Computation
EAN: 9780357670583
Sprache: Englisch
Von/Mit: Michael Sipser

112,95 €*

Lieferzeit 1-2 Wochen

Taschenbuch
-12 %
Cover: 9783658431013 | Introduction to Artificial Intelligence | Wolfgang Ertel | Taschenbuch
Introduction to Artificial Intelligence
EAN: 9783658431013
Sprache: Englisch
Von/Mit: Wolfgang Ertel

46,95 €* UVP 53,49 €

Lieferzeit 4-7 Werktage

Diese Website verwendet Cookies, um eine bestmögliche Erfahrung bieten zu können. Mehr Informationen ...