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
01.01.2003
12 pages
Aufsatz (Konferenz)
Englisch
© 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 Archiv | 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
DOAJ | 2014
|Experience using Coloured Petri Nets to Model Railway Interlocking Tables
ArXiv | 2014
|