Modeling basic components of railway systems using timed arc Petri nets

A Yufka, HA Özkan, A Aybar - 2018 5th International …, 2018 - ieeexplore.ieee.org
A Yufka, HA Özkan, A Aybar
2018 5th International Conference on Control, Decision and …, 2018ieeexplore.ieee.org
Timed Petri Nets is a powerful modeling paradigm for concurrent and dynamic systems such
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 …
Timed Petri Nets is a powerful modeling paradigm for concurrent and dynamic systems such 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 different (an advantage on) from similar modeling tools. In this work, some basic components such as a railway switch, multi-unit two and three-aspect signals, blocks, and a fixed block signaling concept for one and two block signaling are modeled by deterministic Timed-Arc Petri Nets.
ieeexplore.ieee.org
以上显示的是最相近的搜索结果。 查看全部搜索结果