Quiroga, L. M.; Becker, U.; Schnieder, E.:
Das Petrinetz Modellierungs- und -analysetool 𝛱-Tool.
at - Automatisierungstechnik. 62(6), S. 436 - 445, Juni 2014.
In der Praxis werden zur Durchführung von Zuverlässigkeits- und Sicherheitsanalysen, kurz RAMS-Analysen (Reliability, Availability, Maintainability, Safety) verschiedene Beschreibungsmittel, Methoden und Softwarewerkzeuge eingesetzt. Mit Hilfe von Petrinetz- Modellen können jedoch alle vier Eigenschaften anhand nur eines einzigen Modells bewertet werden. In diesem Beitragwird dasModellierungs- und -analysewerkzeug𝛱- Tool für stochastische Petrinetze präsentiert, welche hierfür mit seinen umfangreichen Modellierungs- und Analysefunktionalitäten eine hervorragende Möglichkeit anbietet.