Dekorationsartikel gehören nicht zum Leistungsumfang.
Sprache:
Deutsch
37,99 €*
Versandkostenfrei per Post / DHL
Lieferzeit 2-3 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.
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.
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.
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 |
Reihe: | XLeitfäden der Informatik |
ISBN-13: | 9783834812902 |
ISBN-10: | 3834812900 |
Sprache: | Deutsch |
Ausstattung / Beilage: | HC runder Rücken kaschiert |
Einband: | Gebunden |
Autor: | Reisig, Wolfgang |
Hersteller: |
Vieweg & Teubner
Vieweg+Teubner Verlag XLeitfäden der Informatik |
Verantwortliche Person für die EU: | preigu, Ansas Meyer, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de |
Maße: | 246 x 173 x 20 mm |
Von/Mit: | Wolfgang Reisig |
Erscheinungsdatum: | 15.07.2010 |
Gewicht: | 0,625 kg |
Ü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.
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 |
Reihe: | XLeitfäden der Informatik |
ISBN-13: | 9783834812902 |
ISBN-10: | 3834812900 |
Sprache: | Deutsch |
Ausstattung / Beilage: | HC runder Rücken kaschiert |
Einband: | Gebunden |
Autor: | Reisig, Wolfgang |
Hersteller: |
Vieweg & Teubner
Vieweg+Teubner Verlag XLeitfäden der Informatik |
Verantwortliche Person für die EU: | preigu, Ansas Meyer, Lengericher Landstr. 19, D-49078 Osnabrück, mail@preigu.de |
Maße: | 246 x 173 x 20 mm |
Von/Mit: | Wolfgang Reisig |
Erscheinungsdatum: | 15.07.2010 |
Gewicht: | 0,625 kg |
Sicherheitshinweis