By the rapid development of railway systems, the need of reliable signalization and interlocking systems increases day by day. Satisfying the requirements of standards like CENELEC (European Committee for Electrotechnical Standardization) ensures designers to achieve reliable system models. One of the main issues of designing part is to use formal methods while modelling these systems. Using Petri-Nets is the most popular method in the literature that provides designers easy error-tracking and a visual approach. In this study, modelling of a sample railway yard is achieved for signalization and interlocking design that considers required standards. © 2011 Asian Control Association.