as railway systems. In this work, Timed-Arc Petri nets, which has been recently proposed by
authors, is considered for modeling railway systems. In this novel approach, a time-element
representation is introduced, deterministic time-delays is assigned with arcs and firing
processes are associated with time, where time was interpreted as firing delays. By this way,
the complete map of all states are obtained and invisibility of some states is inhibited as …