Zusammenfassung
Liegt ein Petri-Netz (Stellen/Transitions-Netz) vor, so möchte man dieses Modell natürlich auf gewisse Eigenschaften hin untersuchen, um so Rückschlüsse auf das Verhalten des modellierten Systems ziehen zu können. Eine Möglichkeit der Analyse ist, die Erreichbarkeitsmenge mit endlichen Mitteln darzustellen und jede Markierung auf vorgegebene Kriterien zu überprüfen. Dieses Verfahren ist allerdings oft aufwendig, wie bereits in der Einleitung angesprochen wurde (Zustandsraumexplosion). Die Petri-Netz-Theorie bietet aber für gewisse Analyseziele effizientere Techniken an. Im folgenden werden die wichtigsten Analyseziele definiert (vgl. /PETE81/) und wesentliche Analysetechniken vorgestellt.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Rights and permissions
Copyright information
© 1992 Deutscher Universitäts-Verlag GmbH, Wiesbaden
About this chapter
Cite this chapter
Bause, F. (1992). Analyseziele und -techniken für Petri-Netze. In: Funktionale Analyse zeitbehafteter Petri-Netze. Deutscher Universitätsverlag, Wiesbaden. https://doi.org/10.1007/978-3-663-06730-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-663-06730-6_3
Publisher Name: Deutscher Universitätsverlag, Wiesbaden
Print ISBN: 978-3-8244-2025-4
Online ISBN: 978-3-663-06730-6
eBook Packages: Springer Book Archive