Demiryolu anklaşman sistemlerinin petri ağları ile tasarımı ve gerçeklenmesi (Railway interlocking system design and implementation using petri nets) - Cem Baskocagil (2014)