COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY
2nd, International conference on informatics in control automation and robotics; ICINCO 2005 ; 2005 ; Barcelona, Spain
01.01.2005
6 pages
Aufsatz (Konferenz)
Englisch
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Experience using Coloured Petri Nets to Model Railway Interlocking Tables
ArXiv | 2014
|Experience using Coloured Petri Nets to Model Railway Interlocking Tables
DOAJ | 2014
|Modeling a distributed railway interlocking system with object-oriented Petri nets
British Library Conference Proceedings | 2006
|