Rechnergestütztes Verfahren zur Prüfung eines Elementverbindungsplans eines Stellwerks

Die Erfindung betrifft ein Verfahren zur Erstellung und Prüfung des Elementverbindungsplans eines Stellwerks, wobei der Elementverbindungsplan mindestens zwei miteinander verbundene Fahrwegelemente (1) aufweist und wobei die Prüfung die Zulässigkeit einer Anordnung der Fahrwegelemente (1) ermittelt. Um die Zulässigkeit mittels eines Rechners sicherstellen zu können, wird vorgeschlagen, dass die Erstellung mittels ausgewählter Lageplan-Normale (100) erfolgt, wobei die Lageplan-Normale (100) Repräsentanten (2) aufweisen, die mindestens ein Fahrwegelement (1) und/oder ein Lageplan-Normal (100) umfassen, wobei die Repräsentanten (2) jeweils über Anschlusselemente (3) verbunden sind, wobei die Verbindungen Einfach-, Verschiebe- und Überlappungsverbindungen (4, 5, 6) umfassen, wobei die mittels Verschiebeverbindungen (5) verbundenen Repräsentanten (2) über einen oder mehrere Repräsentanten (2) hinweg verschoben und vervielfacht werden können und die mit dem Anschlusselement (3) unmittelbar verbundenen Fahrwegelemente (1) zweier mittels Überlappungsverbindung (6) verbundener Repräsentanten (2) zu einem einzigen Fahrwegelement (1) zusammengefasst werden, wenn diese identisch sind, und wobei das Zusammenwirken der Repräsentanten (2) der Lageplan-Normale (100) durch Fahrwegelement (1) übergreifende/unabhängige Konfigurationsbedingungen beschrieben wird, und dass der erstellte Elementverbindungsplan zulässig ist, wenn die Konfigurationsbedingungen zutreffen.