Mohlo by se vám také líbit

Více informací o knize Petri-Netze, lineare Algebra und lineare Programmierung

• Parametry knihy
• Anotace
• Oblíbené z jiného soudku

Nákupem získáte 127 bodů

Anotace knihy

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.

Parametry knihy

Zařazení knihy Knihy v němčině Naturwissenschaften, Medizin, Informatik, Technik Informatik, EDV Informatik

• Plný název: Petri-Netze, lineare Algebra und lineare Programmierung
• Podnázev: Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen
• Autor: Jörg Desel
• Jazyk: Němčina
• Vazba: Brožovaná
• Počet stran: 133
• EAN: 9783815423127
• ISBN: 3815423120
• ID: 01752814
• Nakladatelství: Vieweg+Teubner
• Hmotnost: 226 g
• Rozměry: 244 × 170 × 8 mm
• Datum vydání: 01. May 1998

Oblíbené z jiného soudku

---

---

---