Könyv Petri-Netze, lineare Algebra und lineare Programmierung Jörg Desel

Petri-Netze, lineare Algebra und lineare Programmierung

Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen

Szerző: Jörg Desel
Nyelv: Német
Kötés: Puha kötésű
Kiadó: Vieweg+Teubner
Elérhetőség: Beszállítói készleten
Küldés 5-8 napon belül
16 348 Ft
Sehr viele Analyseverfahren für Petrinetze verwenden die Inzidenzmatrix eines Netzes, die eine Verha...

Információk a könyvről

Szerző
Nyelv
Német
Kötés
Könyv - Puha kötésű
Kiadva
1998
oldal
133
EAN
9783815423127
ISBN
3815423120
Enbook ID
01752814
Súly
226
Méretek
170 x 244 x 8

Teljes leírás

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 außer Kenntnissen der üblichen mathematischen Terminologie keine Voraussetzungen notwend ig. Ein Grundverständnis der Petrinetze ist jedoch hilfreich. Alle im Buch verwendeten Konzepte werden sorgfältig motiviert und mit Hilfe von Beispielen illustriert.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

King Lear

R A Foakes
4 755 Ft

Bookbinding

Kathy Abbott
8 967 Ft

East End Christmas

Elizabeth Waite
2 479 Ft