COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY
2nd, International conference on informatics in control automation and robotics; ICINCO 2005 ; 2005 ; Barcelona, Spain
2005-01-01
6 pages
Conference paper
English
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Experience using Coloured Petri Nets to Model Railway Interlocking Tables
ArXiv | 2014
|Modeling a distributed railway interlocking system with object-oriented Petri nets
British Library Conference Proceedings | 2006
|Solving deadlock states in model of railway station operation using coloured petri nets
Tema Archive | 2008
|