___

• URL: www.ecopassenger.org. (Reached on: 08.03.2013). [2] URL: http://www.medicine.ox.ac.uk/bandolier/booth/Risk/tr ansporttrav.html. (Reached on: 08.03.2013).
• Hall, S., Modern Signalling Handbook, Ian Allan Publishing, England, 2001.
• Kuepper, G.J., “150 years of train-disasters - practical approaches for emergency responders”, 9-1-1 Magazine, September/October, 30-33, 1999.
• Akita, K., Watanabe, T., Nakamura, H., and Okumura, I., “Computerized Interlocking System for Railway Signalling Control: SMILE”, IEEE Transactions on Industry Applications, Vol. IA-21-4, 826-834, 1985.
• Petersen, J.L., “Automatic Verification of Railway Interlocking Systems: A Case Study”, Proc. of the 2nd Workshop on Formal Methods in Software Practice, 1998, 1-6.
• Kantz, H. and Koza C., “The ELEKTRA Railway Signalling- System: Field Experience with an Actively Replicated System with Diversity”, Proc. of the 25th International Symposium on Fault-Tolerant Computing, 1995, 453-458.
• Rao, V.P. and Venkatachalam, P.A., “Microprocessor-Based Railway Interlocking Control with Low Accident Probability”, IEEE Trans. on Vehicular Technology, Vol. VT- 353, 141-147, 1987.
• Hartonas-Garmhausen, V., Campos, S., Cimatti, A., Clarke, E. and Giunchiglia, F., “Verification of a Safety-Critical Railway Interlocking System with Real-time Constraints”, Science of Computer Programming, Vol. 36, 2000, 53-64.
• Nakamatsu, K., Kiuchi, Y., Chen, W.Y. and Chung, S.L., “Intelligent Railway Interlocking Safety Verification Based on Annotated Logic Program and its Simulator”, Proc. of the IEEE Int. Conf. on Networking, Sensing&Control, 694- 700, 2004.
• Dipoppa, G., D’Alessandro, G., Semprini, R. and Tronci, E., “Integrating Requirements in Railway Interlocking System Design”, Proc. of 6th IEEE Int. Symp. on High Assurance Systems Engineering, 209-219, 2001. Verification of Safety
• Roanes-Lozano, E., Roanes-Macias, E. and Laita, L.M., “Railway Interlocking Systems and Gröbner bases”, Mathematics and Computers in Simulation, 51, 473-481, 2000.
• She, X., Sha, Y., Chen, Q. and Yang, J., “The Application of Graph Theory on Railway Yard Interlocking Control System”, Proc. of the IEEE Intelligent Vehicles Symposium, 883-888, 2007.
• Banci, M., Fantechi, A. and Ginesi, S., “The Role of Formal Methods in Developing a Distributed Railway Interlocking System”, Proc. of the 5th Symp. on Formal Methods for Automation and Safety in Railway and Automotive Systems, 220-230, 2004.
• Banci, M., Fantechi, A. and Ginesi, S., “Some Experiences on Formal Specification of Railway Interlocking Systems using Statecharts”, Train International Workshop at SEFM2005, 2005.
• Bohn, J., Damm, W., Klose, J., Moik, A. and Wittke, H., “Modeling and Validating Train System Applications Using Statemate and Live Sequence Charts”, Proc. of the Conf. on Integrated Design and Process Technology, 2002.
• Hei, X., Takahashi, S. and Nakamura, H., “Distributed Interlocking System and Its Safety Verification”, Proc. of the 6th World Congress on Intelligent Control and Automation, 8612-8615, 2006.
• Hei, X., Takahashi, S. and Nakamura, H., “Toward Developing a Decentralized Railway Signalling System Using Petri nets”, Proc. of the IEEE Conf. on Robotics, Automation and Mechatronics, 851-855, 2008.
• URL:http://www.thalesgroup.com/Pages/Solution.aspx?i d=2493&pid=1568. (Reached on: 08.03.2013).
• URL:http://www.mobility.siemens.com/mobility/en/pub /urban_mobility/rail_solutions/rail_automation/electroni c_interlockings.htm. (Reached on: 08.03.2013).
• URL:http://www.funkwerk- it.com/wEnglisch/produkte/signaltechnik/alister- stellwerk.shtml. (Reached on: 08.03.2013).
• URL:http://www.ansaldo-sts.com/en/activities-and- services/business-segments/computer-based- interlocking. (Reached on: 08.03.2013).
• URL: http://www.alstom.com/transport/products-and- services/signalling/smartlock-interlocking. (Reached on: 08.03.2013).
• URL:http://www.bombardier.com/en/transportation/pr oducts-services/rail-control- solutions?docID=0901260d8000a67e. 08.03.2013). (Reached on:
• IEC 61508-3, “Functional Safety of Electrical / Electronic / Programmable electronic safety-related systems, Part 5: Examples of methods for the determination of safety integrity levels”, 1997.
• Spellemaeker, M. and Witrant, L., “How to Determine the Safety Integrity Level (SIL) of a Safety System”, URL: http://www.indsci.com/docs/Press/PIN_0907.pdf. (Reached on: 08.03.2013).
• Söylemez, M.T., Durmuş, M.S. and Yıldırım, U., “Functional Safety Application on Railway Systems: Turkish National Railway Signalization Project”, Proc of the 24th Int. Cong. on Condition Monitoring and Diagnostics Engineering Management, 1683-1692, 2011. [28] URL: http://www.hima.com/_filenet/Download.asp?ID=00367 4672:1&Tag=Rail%20Flyer%20en. 08.03.2013). (Reached on:
• Durmuş, M.S., Yıldırım, U., Kurşun A., and Söylemez, M.T, “Fail-safe signalization design for a railway yard: A level crossing case”, The 10th International Workshop on Discrete Event Systems, 337-342, 2010.
• Börcsök, J., Functional Safety, Hüthig Verlag, Germany, 2007.
• EN 50128, “Railway Applications, Communications, signalling and processing systems, Software for railway control and protection systems”, 2001.
• Ramadge, P.J. and Wonham, W.M., “The Control of Discrete Event Systems”, Proc. of IEEE, Vol. 77, No. 1, 1989, 81-98.
• Murata, T., “Petri nets: Properties, Analysis and Applications”, Proc. of IEEE, Vol. 77, No.4, 1989, 541-580.
• Giua, A. and Seatzu, C., “Modeling and Supervisory Control of Railway Networks Using Petri nets”, IEEE Trans. On Automation Science and Engineering, Vol.5, No.3, 2008, 431-445.
• Hagalisletto, A.M., Bjork, J., Yu, I.C. and Enger, P., “Constructing and Refining Large-Scale Railway Models Represented by Petri nets”, IEEE Trans. On System, Man and Cybernetics-Part C: Applications and Reviews, Vol.37, No.4, 2007, 444-460.
• Zurawski, R. and Zhou, M.C., “Petri nets and Industrial Applications: A Tutorial”, IEEE Trans. on Industrial Electronics, Vol. 41, No.6, 1994, 567-583.
• Febbraro, A.D., Porta, G. and Sacco, N., “A Petri net modelling approach of intermodal terminals based on Metrocargo© system”, Proc. of the IEEE Intelligent Transportation Systems Conference, 1442-1447, 2006.
• Hasdemir, İ.T., Kurtulan, S. and Gören, L., “An implementation methodology for supervisory control theory”, International Journal of Advanced Manufacturing Technology, Vol. 36, No.3-4, 373-385, 2008.
• Durmuş, M.S., Yıldırım, U., and Söylemez, M.T., “Application of Functional Safety on Railways Part I: Modelling & Design”, Proc. of the 8th Asian Control Conference, 2011, 1090-1095.
• Yıldırım, U., Durmuş, M.S. and Söylemez, M.T., “Application of Functional Safety on Railways Part II: Software Development”, Proc. of the 8th Asian Control Conference, 2011, 1096-1101.
• Dincel, E. and Kurtulan, S., “Interlocking and Automatic Operating System Design with Automaton Method”, Proc. of the 13th IFAC Symposium on Control in Transportation Systems, 2012, 191-196.
• Kaymakçı, Ö.T., Üstoğlu, İ. and Anık, V.G., “A Local Modular Supervisory Controller for a Real Signalling System”, Proc. of the 5th IET International System Safety Conference, 2010, 1-6.
• Uzam, M., Petri-net-based Supervisory Control of Discrete Event Systems and Their Ladder Logic Diagram Implementations, PhD. dissertation, University of Salford, 1998.
• Thapa, D., Dangol, S. and Wang, G.N., “Transformation from Petri nets Model to Programmable Logic Controller using One-to-One Mapping Technique”, Proc. of the Int. Conf. on Computational Intelligence for Modelling, Control and Automation and Int. Conf. on Intelligent Agents, Web Technologies and Internet Commerce, 2005, 228-233.
• Frey, G., “Automatic Implementation of Petri net Based Control Algorithms on PLC”, American Control Conference, 2000, 2819-2823.
• Genter, G., Bogdan, S., Kovacic, A. and Grubisic, I., “Software tool for modeling, simulation and real-time implementation of Petri net-based supervisors”, 16th IEEE International Conference on Control Applications, 2007, 664-669.
• Mutlu, İ., Ovatman, T., Söylemez, M.T. and Gören-Sümer, L., ,A New Test Environment for PLC Based Interlocking Systems,, Proc. of the International Conference on Transportation, Mechanical and Electrical Engineering, 2011, 1123-1127.
• Mutlu, İ., Ergenç, A.F., Ovatman, T. and Söylemez, M.T., “Design of a Hardware and Software based Test Bed for Railway Signalization System”, Proc. of the 13th IFAC Symposium on Control in Transportation Systems, 2012, 185-190.