Abstract
Railway transportation has become essential in transportation systems because of its fast, safe, cheap and environmentally friendly structure. The safe navigation of trains depends on the correct design of the signaling system and its components. Developing technology also brings about changes in the standards used in rail transportation systems such that the railway safety standards recommend using Petri Nets in the modeling of point machines, which are the most basic actuators of signaling systems. The working principle of point machines can be easily explained with Discrete Event Systems (DES). In this study, a model was created for the Unistar CSV24 point machine, which is widely used in Turkey, by using Petri Nets. The validation of obtained model was verified using the TAPAAL interface. Electromechanical and Programmable Logic Control (PLC) solutions are presented to control the verified model. Siemens TIA PORTAL was used to obtain the PLC block of the point machine.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
