摘要 |
<p>Es wird ein Verfahren zur Steuerung und Sicherung des Betriebes eines spurgeführten Transportsystems mit Hilfe einer Datenverarbeitungsanlage angegeben, in der ein Modell aller im Transportsystem z.B. im Gleisnetz einer Eisenbahnanlage vorkommenden Zustände und Ereignisse in einer formalen Sprache gespeichert ist. Typbezogene, dynamische Daten sind in Form von Petri-Netzen oder aus diesen abgeleiteten Netzen, exemplarbezogene, statische Daten (Gleisnetzdaten) in Form von Doppelpunktgraphen dargestellt. Ein erster Algorithmus berechnet vor Auslösung eines kontrollierbaren Ereignisses alle möglichen Folgezustände und unterbindet die Auslösung, wenn unter diesen ein unzulässiger Zustand ist. Ein weiterer Algorithmus tritt in Funktion, wenn ein normalerweise nicht anzunehmendes unzulässiges Ereignis (z.B. Schienenbruch) eintritt, und löst kontrollierbare Ereignisse aus, wenn diese die Zahl der infolge des unzulässigen Ereignisses zu erwartenden unzulässigen Zustände vermindern. Geschwindigkeitsbegriffe und verschiedene Fahrzeugmanöver werden in das o.g. Modell einbezogen. <IMAGE></p> |