scispace - formally typeset
Proceedings ArticleDOI

A Petri net model for analysis, optimisation, and control of railway networks and train schedules

Davide Giglio, +1 more
- pp 2442-2449
Reads0
Chats0
TLDR
The overall model consists of two interconnected Petri nets that represent, respectively, the physical part of the network (stations, blocks, crossovers, tracks, and so on, as well as trains travelling on the network) and the logical part of it (train schedule over the available lines).
Abstract
Petri nets and railway networks are considered in this paper with the aim of providing a comprehensive model to be used for analysis, optimisation, and control purposes. The overall model consists of two interconnected Petri nets that represent, respectively, the physical part of the network (stations, blocks, crossovers, tracks, and so on, as well as trains travelling on the network) and the logical part of it (train schedule over the available lines). The former Petri net has a fixed structure whereas the second one changes in accordance with the number of trains, lines, and timetable. In the paper, the main elements of the two Petri nets are described in detail, making use of an example of network which is representative of real-word railways. Moreover, some applications of the proposed model are discussed in order to highlight the effectiveness in employing Petri nets to analyse, optimise, and control railway networks and train schedules.

read more

Citations
More filters
Book ChapterDOI

Optimal Scheduling for Delay Management in Railway Network Using Hybrid Bat Algorithm

TL;DR: In this paper, a Bat Algorithm (BA) based meta-heuristic approach is proposed to solve the timetable rescheduling problem of a railway network to minimize the total delay in journey time of trains under any disastrous situation.
Journal ArticleDOI

A simulation-optimization framework for traffic disturbance recovery in metro systems

TL;DR: In this article , the authors analyze how train delays propagate in a metro network due to disturbances and disruptions when different recovery strategies are implemented, and integrate SIMSTORS and the AGLIBRARY optimization solver in a closed-loop framework.
Proceedings ArticleDOI

Railway Network Modeling Using Building Block of Timed Coloured Petri Nets

TL;DR: A set of mapping rules are provided to generate the high-level railway network in terms of building blocks, into Timed Coloured Petri Nets automatically, and the resulting formal model is verified using CPN Tools to ensure the correctness, safety, and liveness of the formal railway network model.
Proceedings ArticleDOI

Towards Collision-Free Automated Guided Vehicles Navigation and Traffic Control

TL;DR: A collision-free navigation and traffic control approach, based on coloured Petri nets and the D* Lite searching algorithm is proposed, which dynamically computes a sequence of safe and optimal movements of the AGVs to reach the desired marking.
Proceedings ArticleDOI

Schedule of Flexible Manufacturing Systems Based on Petri Nets and A* Search With a Neural Network Heuristic Function

TL;DR: In this paper, an approach is presented to schedule a flexible manufacturing system (FMS) via Petri nets and A* algorithm with a heuristic function represented by a neural network.
References
More filters
Journal ArticleDOI

Petri nets: Properties, analysis and applications

TL;DR: The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Book

Introduction to Discrete Event Systems

TL;DR: This edition includes recent research results pertaining to the diagnosis of discrete event systems, decentralized supervisory control, and interval-based timed automata and hybrid automata models.

Kommunikation mit Automaten

C. A. Petri
TL;DR: The theory of automata is shown not capable of representing the actual physical flow of information in the solution of a recursive problem and a theory of communication is proposed that yields a means of representation that with equal rigor and simplicity accomplishes more than the theory of synchronous automata.
Journal ArticleDOI

Modeling and Supervisory Control of Railway Networks Using Petri Nets

TL;DR: This paper provides a modular representation of railway networks in terms of stations and tracks including sensors and semaphores and ensures safeness and local liveness imposing both generalized mutual exclusion constraints and constraints also involving the firing vector.
Journal ArticleDOI

Assessment of a transport policy potential for intermodal mode shift on a European scale

TL;DR: In this paper, the authors developed a methodology with the necessary tools to assess the potential of a specific policy measure to produce a modal shift in favor of intermodal transport.
Related Papers (5)