Modeling a distributed railway interlocking system with object-oriented Petri nets
10th, International conference on computer aided design, manufacture, and operation in the railway and other advanced mass transit systems; Computers in railways X ; 2006 ; Prague, Czech Republic
2006-01-01
10 pages
Includes bibliographical references and index
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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
|Simulation of a complex railway station with a Petri Nets based interlocking model
Tema Archive | 2003
|