Chapters Table of contents (9 chapters) About About this book Table of contents Search within book Front Matter Pages I-VIII PDF Einleitung Falko Bause Pages 1-9 Grundlegende Begriffe aus der Petri-Netz-Theorie Falko Bause Pages 10-16 Analyseziele und -techniken für Petri-Netze Falko Bause Pages 17-42 Timed und stochastische Petri-Netze Falko Bause Pages 43-57 Wesentliche nicht invariante Modelleigenschaften bei Integration des Zeitbegriffs in Petri-Netze Falko Bause Pages 58-78 Untersuchung über die Invarianz wesentlicher Modelleigenschaften Falko Bause Pages 79-138 Zur funktionalen und quantitativen Analyse zeitbehafteter Petri-Netze Falko Bause Pages 139-151 Schlußwort Falko Bause Pages 152-153 Literatur Falko Bause Pages 154-164 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 Buy options