A Place-Timed Petri Net-Based Method to Avoid Deadlock and Conflict in Railway Networks

Document Type

Article

Publication Date

8-1-2022

Abstract

The real-time traffic control of railway networks imposes safety constraints and authorizes movements of trains. This work deals with it by focusing on conflict and deadlock avoidance problems. A place-timed Petri net model is developed for a railway network. Based on it, a conflict avoidance method is presented to ensure that safety principles in railway networks are respected. Also, a polynomial deadlock avoidance policy based on the Banker's algorithm is proposed. It authorizes the movement of trains between block sections and stations. The proposed conflict avoidance method and deadlock avoidance policy together ensure a railway network to be conflict-free and deadlock-free. Experimental results show that they are effective and efficient.

Identifier

85135881277 (Scopus)

Publication Title

IEEE Transactions on Intelligent Transportation Systems

External Full Text Location

https://doi.org/10.1109/TITS.2021.3095661

e-ISSN

15580016

ISSN

15249050

First Page

10763

Last Page

10772

Issue

8

Volume

23

This document is currently not available here.

Share

COinS