Petrinetze, lineare Algebra und lineare Programmierung

Analyse, Verifikation und Korrektheitsbeweise von Systemmodellen

  • Jörg Desel

Part of the TEUBNER-TEXTE zur Informatik book series (TTZI, volume 26)

Table of contents

  1. Front Matter
    Pages 1-10
  2. Jörg Desel
    Pages 11-18
  3. Jörg Desel
    Pages 19-34
  4. Jörg Desel
    Pages 35-51
  5. Jörg Desel
    Pages 52-64
  6. Jörg Desel
    Pages 65-73
  7. Jörg Desel
    Pages 74-86
  8. Jörg Desel
    Pages 87-106
  9. Jörg Desel
    Pages 107-123
  10. Back Matter
    Pages 124-136

About this book

Introduction

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, daß 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 notwendig. Ein Grundverständnis der Petrinetze ist jedoch hilfreich. Alle im Buch verwendeten Konzepte werden sorgfältig motiviert und mit Hilfe von Beispielen illustriert.

Keywords

Algebra Algorithmen Arbeit Einheit Fakten Farkas Lemma Komplexität Markierungen Matrix Programmierung Rangbedingungen Systeme Verfahren Ziele lineare Algebra

Authors and affiliations

  • Jörg Desel
    • 1
  1. 1.Universität Karlsruhe (TH)KarlsruheDeutschland

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-322-95382-7
  • Copyright Information Vieweg+Teubner Verlag | Springer Fachmedien Wiesbaden GmbH, Wiesbaden 1998
  • Publisher Name Vieweg+Teubner Verlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-8154-2312-7
  • Online ISBN 978-3-322-95382-7
  • Series Print ISSN 1615-4584
  • About this book
Industry Sectors
Pharma
Automotive
Chemical Manufacturing
Biotechnology
Electronics
Consumer Packaged Goods
Energy, Utilities & Environment
Aerospace
Oil, Gas & Geosciences
Engineering