A Petri nets based decision support tool for railway traffic conflicts forecasting and resolution

WIT Transactions on the Built Environment

Volumn 103, Issue , 2008, Pages 483-492

  Ricci, S ^a   Tieri, A ^a  

^a SAPIENZA UNIVERSITY OF ROME   (Italy)

Author keywords

Automatic overtaking; Petri nets simulation; Railway traffic management

Indexed keywords

COMPUTER SOFTWARE; DECISION SUPPORT SYSTEMS; GRAPH THEORY; INTERLOCKING SIGNALS; MARINE BIOLOGY; MODULAR CONSTRUCTION; PETRI NETS; RAILROAD TRAFFIC CONTROL; RAILROADS; SYSTEMS ANALYSIS;

AUTOMATIC OVERTAKING; DECISION SUPPORT TOOLS; FULL MODELS; MODULAR BUILDINGS; OBJECT ORIENTED APPROACHES; OPERATIONAL SIMULATIONS; PETRI NETS SIMULATION; RAILWAY SYSTEMS; RAILWAY TRAFFIC MANAGEMENT; SAFETY SYSTEMS; SIGNALLING SYSTEMS; SOFTWARE TOOLS;

RAILROAD TRANSPORTATION;

AUTOMATION; CONFLICT MANAGEMENT; DECISION SUPPORT SYSTEM; FORECASTING METHOD; MODEL TEST; RAILWAY TRANSPORT; SIGNAL; SOFTWARE; TRAFFIC MANAGEMENT; TRANSPORTATION SAFETY;

EURASIA; EUROPE; ITALY; SOUTHERN EUROPE;

EID: 58849083223     PISSN: 17433509     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.2495/CR080471     Document Type: Conference Paper

References (4)

1. Ricci, S., Tieri, A., Railway traffic regularity monitoring and forecasting: the use of the Petri Nets models, Proc. of the 6th Symposium, 2007 FORMS/FORMAT 2007 - Braunschweig, 118-128.
2. Impastato S., Ricci, S., Tieri, A., Monitoring and forecasting of railway traffic regularity by a Petri nets model, Proc. of the 4th Conference Challenges in Transport and Communication - Pardubice, 57-63, 2006.
3. Malavasi, G., Raponi, P., Ricci, S., Spellucci, C., Simulation of a complex railway station with a Petri Nets based interlocking model, Proc. of the Workshop on software specification of safety relevant transportation control tasks - Braunschweig, 11-22, 2002.
4. Malavasi, G., Ricci, S., Railway Traffic Simulation by means of a Petri Net model. Computers in Railways VIII, WIT Press, Southampton, 407-415, 2002.