Modelling and simulating a Thai railway signalling system using Coloured Petri Nets

Colored Petri nets

Kurt Jensen, Lars Michael Kristensen · Communications of the ACM · 2015 · 151 citations

Engineering, Computer Science, Systems Engineering +12

Techniques for modelling and verifying railway interlockings

Phillip James, Faron Moller, Hoang Nga Nguyen et al. · International Journal on Software Tools for Technology Transfer · 2014 · 49 citations

Computing, Systems Engineering, Formal Methods +11

Constructing and Refining Large-Scale Railway Models Represented by Petri Nets

Anders Moen Hagalisletto, Ingrid Chieh Yu, P. S. Enger · IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews) · 2007 · 46 citations

Engineering, Computer Science, Computer Systems +14

On modelling and verifying railway interlockings: Tracking train lengths

Phillip James, Faron Moller, Hoang Nga Nguyen et al. · Science of Computer Programming · 2014 · 22 citations

Engineering, Civil Engineering, Transport +9

Simulating and analyzing railway interlockings in ExSpect

Twan Basten, R. Bol, Marc Voorhoeve · IEEE Parallel & Distributed Technology Systems & Applications · 1995 · 21 citations · Full text

Computing, Computer Science, Systems Engineering +17