Simulating and analyzing railway interlockings in ExSpect, IEEE Parallel & Distributed Technology: Systems & Applications, vol.3, issue.3, pp.50-62, 1995. ,
DOI : 10.1109/M-PDT.1995.414843
Model-Based Generation of Interlocking Controller Software from Control Tables, Proceedings of the 4th European Conference on Model Driven Architecture -Foundations and Applications, pp.349-360, 2008. ,
DOI : 10.1007/978-3-540-69100-6_24
NuSMV: A New Symbolic Model Verifier, Proceedings of the 11th International Conference on Computer Aided Verification, CAV'99, pp.495-499, 1999. ,
DOI : 10.1007/3-540-48683-6_44
Railway Signalization and Interlocking Design via Automation Petri Nets, Proceedings of the 7th Asian Control Conference, Hong Kong, pp.1558-1563, 2009. ,
Verification of Interlockings: from Control Tables to Ladder Logic Diagrams, Proceedings of the 3rd Workshop on Formal Methods for Industrial Critical Systems (FMICS'98), pp.171-185, 1998. ,
Constructing and Refining Large-Scale Railway Models Represented by Petri Nets, IEEE Transactions on Systems, Man and Cybernetics, Part C (Applications and Reviews), vol.37, issue.4, pp.444-460, 2007. ,
DOI : 10.1109/TSMCC.2007.897323
Formalizing Railway Interlocking Systems, Nordic Seminar on Dependable Computing Systems, pp.83-94, 1994. ,
Modelling and Analysis of Railway Network Control Logic using Coloured Petri Nets, 1998. ,
Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer, vol.2, issue.2, pp.3-4213, 2007. ,
DOI : 10.1007/s10009-007-0038-x
The Future of Train Signaling, Proceedings of the 11th International Conference on Model Driven Engineering Languages and Systems, pp.128-142, 2008. ,
DOI : 10.1007/978-3-540-87875-9_9
Analysis of railway stations by means of interval timed coloured Petri nets, Real-Time Systems, vol.77, issue.4, pp.1-23, 1995. ,
DOI : 10.1007/BF01088807
Verification of Railway Interlocking Tables using Coloured Petri Nets In the tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB 590, pp.139-158, 2009. ,
Model Checking Railway Interlocking Systems, Proceeding of the 25th Australasian Computer Science Conference, pp.303-310, 2002. ,
DOI : 10.4018/978-1-4666-1643-1.ch013
Tool Support for Checking Railway Interlocking Designs, Proceeding of the 10th Australian Workshop on Safety Related Programmable Systems (SCS'05), pp.101-107, 2005. ,
Modelling Large Railway Interlockings and Model Checking Small Ones, Proceeding of the 26th Australasian Cumputer Science Conference, pp.309-316, 2003. ,