Funktionale Analyse zeitbehafteter Petri-Netze

  • Authors
  • Falko Bause
Book

Table of contents

  1. Front Matter
    Pages I-VIII
    PDF
  2. Einleitung
    Falko Bause
    Pages 1-9
  3. Grundlegende Begriffe aus der Petri-Netz-Theorie
    Falko Bause
    Pages 10-16
  4. Analyseziele und -techniken für Petri-Netze
    Falko Bause
    Pages 17-42
  5. Timed und stochastische Petri-Netze
    Falko Bause
    Pages 43-57
  6. Wesentliche nicht invariante Modelleigenschaften bei Integration des Zeitbegriffs in Petri-Netze
    Falko Bause
    Pages 58-78
  7. Untersuchung über die Invarianz wesentlicher Modelleigenschaften
    Falko Bause
    Pages 79-138
  8. Zur funktionalen und quantitativen Analyse zeitbehafteter Petri-Netze
    Falko Bause
    Pages 139-151
  9. Schlußwort
    Falko Bause
    Pages 152-153
  10. Literatur
    Falko Bause
    Pages 154-164
  11. Back Matter
    Pages 165-184
    PDF

About this book

Keywords

Aussage Funktion Invariante Netzklasse Notation Petri-Netz Reduktion Sicherheit Spiele Struktur Techniken Varianz Zeit Zustandsraum eXist

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-663-06730-6
  • Copyright Information Springer Fachmedien Wiesbaden GmbH 1992
  • Publisher Name Deutscher Universitätsverlag, Wiesbaden
  • eBook Packages Springer Book Archive
  • Print ISBN 978-3-8244-2025-4
  • Online ISBN 978-3-663-06730-6
  • About this book
Industry Sectors
Pharma
Automotive
Electronics
Telecommunications
Aerospace