The design of railway interlocking systems using Petri Nets and Automated Petri
Nets are described in Eriş and Mutlu (2010), Durmuş and Söylemez (2009a, 2009b), and Yıldırım et al (2010). In these studies, the design is realized by programmable logic controllers (PLCs).