A colored Petri net model for the France Paris metro system

Authors:
Anthony Spiteri Staines
Affiliations:
Department of Computer Information Systems, University of Malta, Msida, Malta
Venue:
SEPADS'12/EDUCATION'12 Proceedings of the 11th WSEAS international conference on Software Engineering, Parallel and Distributed Systems, and proceedings of the 9th WSEAS international conference on Engineering Education
Year:
2012

Citing 4
Cited 0

Analysis of railway stations by means of interval timed coloured Petri nets

Real-Time Systems
Visual microcontroller programming using extended S-system Petri nets

WSEAS Transactions on Computers
Transformation of fuzzy state space model of a boiler system: a graph theoretic approach

WSEAS Transactions on Mathematics
Modelling railway interlocking tables using coloured petri nets

COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper describes how colored Petri nets can be used for modeling the Paris underground Metro system. This is one of the most complex metro systems in the world. In this paper, the metro system is analyzed and described. The method of analysis is outlined. A working model for three of the major lines was constructed using CPNs. The results and other issues that have to be tackled are explained.