Dissertation Nr. 10776, pages 1-129. Eidgenössische Technische Hochschule, Zürich, June 1994.
Abstract: An executable model of railway interlocking systems based on Pr/T-Nets is presented as well as a set of tools for developing and executing the nets. Additionally, the Eunomic algorithm, an efficient run-time algorithm, is proposed which prevents the nets from reaching a given set of unsafe states.
Keywords: PrT-Nets; Eunomic algorithm; Railway; Interlocking.