Muhammed Ali Nur Oz

  • Citations Per Year
Learn More
This paper introduces a new software tool, which can be used for automatic generation of Timed Arc Petri Net (TAPN) models from the railway station topology for interlocking systems. The introduced software tool has two components, `Graphical User Interface' to draw the station topology and `Application Software' to generate TAPN models from the station(More)
  • 1