The paper describes an extended research activity on the formalization of railway operation with Petri Nets, including a large set of operational phases in railway traffic: stations layout and timetable operation, level crossing management, trains dispatching and regularity (punctuality) monitoring. All the developed models are based on working criteria and operational rules of interlocking and line signaling systems. The modeling is based on a strongly modular object oriented approach capable to usefully simulate the process with all boundary conditions imposed by infrastructure, signaling and control systems.
The use of Petri nets models in railway traffic applications / Ricci, Stefano. - ELETTRONICO. - (2009), pp. 151-156. (Intervento presentato al convegno 2nd IFAC workshop on Dependable Control of Discrete Systems DCDS '09 tenutosi a Bari nel 10-12 giugno 2009).
The use of Petri nets models in railway traffic applications
RICCI, Stefano
2009
Abstract
The paper describes an extended research activity on the formalization of railway operation with Petri Nets, including a large set of operational phases in railway traffic: stations layout and timetable operation, level crossing management, trains dispatching and regularity (punctuality) monitoring. All the developed models are based on working criteria and operational rules of interlocking and line signaling systems. The modeling is based on a strongly modular object oriented approach capable to usefully simulate the process with all boundary conditions imposed by infrastructure, signaling and control systems.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
