Simulating and Analyzing Railway Interlockings in ExSpect
This study evaluates the ability of ExSpect,
a toolkit for simulating and
analyzing complex distributed systems using colored Petri nets, to
analyze ISL specifications for railway interlockings.
(The full paper is not available in postscript or pdf. However, an
abstract and a
postscript or
pdf
file of the report
version of this paper are available).
Back to the list of publications.