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
01.01.2006
10 pages
Includes bibliographical references and index
Aufsatz (Konferenz)
Englisch
© 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
|Experience using Coloured Petri Nets to Model Railway Interlocking Tables
DOAJ | 2014
|Simulation of a Complex Railway Station with a Petri Nets Based Interlocking Model
British Library Conference Proceedings | 2003
|