@article{article_1228712, title={Petri Net Modeling and Controller Design of Unistar CSV24 Point Machine}, journal={Demiryolu Mühendisliği}, pages={211–222}, year={2023}, DOI={10.47072/demiryolu.1228712}, author={Soyiç Leblebici, Aslı}, keywords={Makas motoru, Petri Net, TAPAAL, PLC kontrol, elektromekanik kontrol, Unistar CSV24.}, 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.}, number={17}, publisher={Demiryolu Mühendisleri Derneği}