Modelling Railway Interlocking Tables Using Coloured Petri Nets-Reference-Cited by-同舟云学术

Modelling Railway Interlocking Tables Using Coloured Petri Nets

Published:2010 Issue: Volume: Page:137-151
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Vanit-Anunchai Somsak

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-13414-2_10.pdf

Reference15 articles.

1. Basten, T., Bol, R., Voorhoeve, M.: Simulating and Analyzing Railway Interlockings in ExSpec. IEEE Parallel and Distributed Technology, Systems and Applications 3(3), 50–62 (1995)

2. Lecture Notes in Computer Science;C. Chevilat,2008

3. Lecture Notes in Computer Science;A. Cimatti,1999

4. Durmus, M.S., Soylemez, M.T.: Railway Signalization and Interlocking Design via Automation Petri Nets. In: Proceedings of the 7th Asian Control Conference, Hong Kong, August 27-29, 2009, pp. 1558–1563 (2009)

5. Fokkink, W.J., Hollingshead, P.R.: Verification of Interlockings: from Control Tables to Ladder Logic Diagrams. In: Proceedings of the 3rd Workshop on Formal Methods for Industrial Critical Systems (FMICS 1998), Amsterdam, May 1998, pp. 171–185. Stichting Mathematisch Centrum (1998)

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. DFT modeling approach for operational risk assessment of railway infrastructure;International Journal on Software Tools for Technology Transfer;2022-04-05

2. A Train Rescheduling System Using Timed Coloured Petri Nets;Urban Rail Transit;2020-09-29

3. Digitalization of Interlocking System to Optimize Logistics in Railway Transportation;International Journal of Business Analytics;2020-01

4. A Survey on Petri Net Models for Freight Logistics and Transportation Systems;IEEE Transactions on Intelligent Transportation Systems;2018-06

5. Modelling and simulating a Thai railway signalling system using Coloured Petri Nets;International Journal on Software Tools for Technology Transfer;2018-01-17