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

Jianchao Luo, Mengchu Zhou, Jun Qiang Wang

Research output: Contribution to journalArticlepeer-review

1 Scopus citations

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.

Original languageEnglish (US)
Pages (from-to)10763-10772
Number of pages10
JournalIEEE Transactions on Intelligent Transportation Systems
Volume23
Issue number8
DOIs
StatePublished - Aug 1 2022

All Science Journal Classification (ASJC) codes

  • Automotive Engineering
  • Mechanical Engineering
  • Computer Science Applications

Keywords

  • conflict avoidance
  • deadlock avoidance
  • discrete event system
  • Petri net (PN)
  • Railway network
  • safety

Fingerprint

Dive into the research topics of 'A Place-Timed Petri Net-Based Method to Avoid Deadlock and Conflict in Railway Networks'. Together they form a unique fingerprint.

Cite this