Das Petrinetz Modellierungs- und -analysetool <i>Π</i>-Tool

Quiroga, Lisandro M.; Becker, Uwe; Schnieder, Eckehard

doi:10.1515/auto-2014-5000

Cited by 5 publications

(2 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In this paper, the software

π

‐Tool, which is developed by the Institute for Traffic Safety and Automation Engineering (iVA, Technische Universitat Braunschweig), carries out the formalisation and analysis procedure. It offers the token game, state‐space‐based analysis, steady‐state analysis, and so on [25].…”

Section: Safety Analysis Of the Train‐to‐train Communication Systemmentioning

confidence: 99%

Propagation and safety analysis of the train‐to‐train communication system

Song

Dong

et al. 2019

IET Microwaves, Antennas & Propagation

Self Cite

View full text Add to dashboard Cite

Smart railway transportation systems aim to make the trains operate in a more intelligent and flexible manner. Reliable train‐to‐train communication, which can increase the efficiency and safety of the train operation, is getting more concern in recent researches, and different communication solutions can be applied to carry out the data communication. However, its propagation and safety analysis is not systematically put forward. In this work, the structure and working principle of a train‐to‐train communication system are proposed. In order to have a better performance, multi‐communication channels are involved. Three different modems are applied to make sure that the system can implement the communication task in different situations. What is more, the long‐range communication modem provides not only long distance communication but also distance measurement between two trains. The propagation analysis based on different carrier waves and application scenarios is discussed. The system safety is evaluated by means of Petri nets, and the analysis procedure can be reused for analysing different system structures.

show abstract

“…In this paper, the software

π

Section: Safety Analysis Of the Train‐to‐train Communication Systemmentioning

confidence: 99%

Propagation and safety analysis of the train‐to‐train communication system

Song

Dong

et al. 2019

IET Microwaves, Antennas & Propagation

Self Cite

View full text Add to dashboard Cite

show abstract

“…Die Erstellung der Simulationsmodelle erfolgt dabei unter Zuhilfenahme der durch das Systemmodell zur Verfügung stehenden Informationen. Die mit dem Petrinetz-Werkzeug -Tool aus [3] gewonnenen Simulationsergebnisse werden vorgestellt und durch einen analytischen und messtechnischen Vergleich validiert.…”

Section: Introductionunclassified

Strukturierte Modellierung, Simulation und Überwachung verteilter Automatisierungssysteme

Diekhake

Schnieder

2015

At - Automatisierungstechnik

Self Cite

View full text Add to dashboard Cite

Zusammenfassung: Dieser Beitrag widmet sich der methodischen Analyse verteilter Automatisierungssysteme. Dafür wird eine systemtheoretische Darstellung über die Attributhierarchie bereitgestellt, die der weiteren Modellierung mittels Petrinetzen dient. Zur Zeitverhaltensanalyse werden die grundlegenden Modelle der asynchronen Zyklusübergänge und des Buszugriffs erläutert sowie Simulationsergebnisse vorgestellt und validiert. Aus der Simulation eines vollständigen Informationsprozesses lassen sich realitätsnahe Aussagen zu tolerierbaren Grenzwerten ableiten, die im operativen Betrieb überwacht werden.Abstract: This paper is dedicated to the methodical analysis of distributed automation systems. A systemtheoretical representation by means of an attribute hierarchy is provided, which serves to further modeling by means of Petri nets. For runtime analysis, the basic models of the asynchronous cycle crossing and bus access are explained and simulation results are shown and validated. The simulation of a complete information process allows for the derivation of realistic statements on the tolerable limits that can be monitored during the real operation.

show abstract