Title :
Simulating and analyzing railway interlockings in ExSpect
Author :
Basten, Twan ; Bol, Roland ; Voorhoeve, Marc
Keywords :
Analytical models; Design engineering; Design optimization; Formal languages; Layout; Petri nets; Rail transportation; Railway engineering; Railway safety; Specification languages;
Journal_Title :
Parallel & Distributed Technology: Systems & Applications, IEEE
DOI :
10.1109/M-PDT.1995.414843
