Skip to content
Licensed Unlicensed Requires Authentication Published by De Gruyter (O) May 28, 2014

Das Petrinetz Modellierungs- und -analysetool Π-Tool

The Petri net modelling and analysis tool Π-Tool
  • Lisandro M. Quiroga

    Dr.-Ing. Lisandro Mariano Quiroga ist als Projektleiter Software bei der Firma iQST in Braunschweig tätig. Er hat 2012 bei Prof. Schnieder an der TU Braunschweig promoviert. Preisträger des Karl-Vossloh-Innovationspreises 2012 sowie des Qualitätspreises Gleisbau 2012. Seine Tätigkeitsbereiche umfassen u.a. die Entwicklung fortgeschrittener Methoden und Softwaretools für RAMS-Analyse und derer Anwendung bei Eisenbahnsystemen.

    iQST GmbH. Hermann-Blenk-Straße 22, 38108 Braunschweig

    EMAIL logo
    , Uwe Becker

    Dr.-Ing. Uwe Becker ist Akademischer Oberrat am Institut für Verkehrssicherheit und Automatisierungstechnik im Fachbereich Maschinenbau an der Technischen Universität Braunschweig. Hauptarbeitsgebiete: Fahrzeugautomatisierung und -sicherheit.

    Institut für Verkehrssicherheit und Automatisierungstechnik, TU Braunschweig. Langer Kamp 8, 38106 Braunschweig

    and Eckehard Schnieder

    Er lehrt und forscht seit 1989 an der Technischen Universität Braunschweig in den Bereichen Regelungs- und Automatisierungstechnik sowie Verkehrssicherheit und leitet das zugehörige Institut

    Institut für Verkehrssicherheit und Automatisierungstechnik, TU Braunschweig. Langer Kamp 8, 38106 Braunschweig

Zusammenfassung

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 Beitrag wird das Modellierungs- und -analysewerkzeug Π-Tool für stochastische Petrinetze präsentiert, welche hierfür mit seinen umfangreichen Modellierungs- und Analysefunktionalitäten eine hervorragende Möglichkeit anbietet.

Abstract

Nowadays several description means, methods and software tools are used to perform RAMS (Reliability, Availability, Maintainability, Safety) analysis. With the help of Petri nets, all four properties can be analysed using just one unique model. However, modelling real systems by means of simple Petri nets often turns to be cumbersome. Such an approach can be outstandingly put into practice using Π-Tool, the Petri net modelling and analysis tool for stochastic petrinets is hereby presented.

Schlagwörter: RAMS; Petrinetz; Modelierung; Analyse

Über die Autoren

Lisandro M. Quiroga

Dr.-Ing. Lisandro Mariano Quiroga ist als Projektleiter Software bei der Firma iQST in Braunschweig tätig. Er hat 2012 bei Prof. Schnieder an der TU Braunschweig promoviert. Preisträger des Karl-Vossloh-Innovationspreises 2012 sowie des Qualitätspreises Gleisbau 2012. Seine Tätigkeitsbereiche umfassen u.a. die Entwicklung fortgeschrittener Methoden und Softwaretools für RAMS-Analyse und derer Anwendung bei Eisenbahnsystemen.

iQST GmbH. Hermann-Blenk-Straße 22, 38108 Braunschweig

Uwe Becker

Dr.-Ing. Uwe Becker ist Akademischer Oberrat am Institut für Verkehrssicherheit und Automatisierungstechnik im Fachbereich Maschinenbau an der Technischen Universität Braunschweig. Hauptarbeitsgebiete: Fahrzeugautomatisierung und -sicherheit.

Institut für Verkehrssicherheit und Automatisierungstechnik, TU Braunschweig. Langer Kamp 8, 38106 Braunschweig

Eckehard Schnieder

Er lehrt und forscht seit 1989 an der Technischen Universität Braunschweig in den Bereichen Regelungs- und Automatisierungstechnik sowie Verkehrssicherheit und leitet das zugehörige Institut

Institut für Verkehrssicherheit und Automatisierungstechnik, TU Braunschweig. Langer Kamp 8, 38106 Braunschweig

Erhalten: 2013-5-29
Angenommen: 2014-2-19
Online erschienen: 2014-5-28
Erschienen im Druck: 2014-6-28

©2014 Walter de Gruyter Berlin/Boston

Downloaded on 26.4.2024 from https://www.degruyter.com/document/doi/10.1515/auto-2014-5000/html
Scroll to top button