Petrinetze, lineare Algebra und lineare Programmierung / Teubner Texte zur Informatik Bd.26 (PDF)
Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
Sehr viele Analyseverfahren für Petrinetze verwenden die Inzidenzmatrix eines Netzes, die eine Verhaltensbeschreibung durch linear-algebraische Verfahren erlaubt. Das Buch gibt eine Einführung in derartige Verfahren und beschreibt vollständig und...
sofort als Download lieferbar
eBook (pdf)
Fr. 47.70
inkl. MwSt.
- Kreditkarte, Paypal, Rechnung
- Kostenloser tolino webreader
Produktdetails
Produktinformationen zu „Petrinetze, lineare Algebra und lineare Programmierung / Teubner Texte zur Informatik Bd.26 (PDF)“
Sehr viele Analyseverfahren für Petrinetze verwenden die Inzidenzmatrix eines Netzes, die eine Verhaltensbeschreibung durch linear-algebraische Verfahren erlaubt. Das Buch gibt eine Einführung in derartige Verfahren und beschreibt vollständig und übersichtlich den State-of-the-art in diesem Bereich. Neben einer neuen systematischen Darstellung bekannter Konzepte runden etliche neue Ergebnisse das Thema ab. Es wird deutlich, dass dynamische Eigenschaften eines netzmodellierten Systems eng zusammenhängen mit der Lösbarkeit bzw. mit Lösungen von Gleichungs- und Ungleichungssystemen.Dabei werden sowohl ganzzahlige als auch rationale Lösungen betrachtet. Eine Differenzierung von Analyse, Verifikation und Beweis führt zu entsprechenden Verfahren, die sich sowohl im Algorithmentyp als auch in ihrer Komplexität unterscheiden. - Zum Verständnis des Buches sind ausser Kenntnissen der üblichen mathematischen Terminologie keine Voraussetzungen notwendig. Ein Grundverständnis der Petrinetze ist jedoch hilfreich. Alle im Buch verwendeten Konzepte werden sorgfältig motiviert und mit Hilfe von Beispielen illustriert.
Bibliographische Angaben
- 2013, 1998, 133 Seiten, Deutsch
- Verlag: Vieweg+Teubner Verlag
- ISBN-10: 3322953823
- ISBN-13: 9783322953827
- Erscheinungsdatum: 08.03.2013
Abhängig von Bildschirmgrösse und eingestellter Schriftgrösse kann die Seitenzahl auf Ihrem Lesegerät variieren.
eBook Informationen
- Dateiformat: PDF
- Grösse: 10 MB
- Ohne Kopierschutz
- Vorlesefunktion
Kommentar zu "Petrinetze, lineare Algebra und lineare Programmierung / Teubner Texte zur Informatik Bd.26"
0 Gebrauchte Artikel zu „Petrinetze, lineare Algebra und lineare Programmierung / Teubner Texte zur Informatik Bd.26“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Petrinetze, lineare Algebra und lineare Programmierung / Teubner Texte zur Informatik Bd.26".
Kommentar verfassen