Petri ağları ile otomatik tren koruma sistemi tasarımı Automatic train protection system design with petri nets