Simulation of a Complex Railway Station with a Petri Nets Based Interlocking Model
International workshop on software specification of safety relevant transportation control tasks ; 2002 ; Brunswick, Germany
International workshop on software specification of safety relevant transportation control tasks ; 11-22
2003-01-01
12 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Simulation of a complex railway station with a Petri Nets based interlocking model
Tema Archive | 2003
|COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY
British Library Conference Proceedings | 2005
|Experience using Coloured Petri Nets to Model Railway Interlocking Tables
ArXiv | 2014
|