Railway modeling with object enhanced time Petri nets

Nowadays the world demands trains that go with a very high speed. To achieve this, a concept of a railway modeling using software applications is proposed for the purpose of increasing the resilience of railway traffic. Software applications need models that can describe their structure, reaction to internal and external events concerning cooperation and task migration. The behavior of the system which contains these types of trains can be conceived using OETPN (Object Enhanced Time Petri Nets). In this model, the tokens are active or passive objects. The active objects are sub OETPN that are executed by another thread of execution. In this model, the OETPNs are capable of communicating with each other via communication channels, they can send passive and active objects (i.e. task migration). Concurrency, reaction to internal or external events, synchronization and temporal behavior with fix and dynamic delays could be easily modeled using OETPN. A model for the railway system is proposed in this paper, the station, the controller and the software train are modeled using OETPN. The software train is an active object (a task, or an agent) that is moved inside the station model, meanwhile the physical train is moved on the physical infrastructure. The experiments of OETPN models successfully show that they can be used to solve the railway traffic problems due to their capabilities to adapt to the changing environment.