Modeling of Coordination Policy Based on Coloured Petri Nets
JOURNAL- XIAN JIAOTONG UNIVERSITY ; 35 ; 1004-1007
01.01.2001
4 pages
Aufsatz (Zeitschrift)
Unbekannt
DDC: | 500 |
© 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
|A simplified passenger flow model using Coloured Petri Nets
British Library Conference Proceedings | 2002
|A Train Rescheduling System Using Timed Coloured Petri Nets
Springer Verlag | 2020
|Model-based testing of a reactive system with coloured Petri Nets
Tema Archiv | 2006
|Experience using Coloured Petri Nets to Model Railway Interlocking Tables
ArXiv | 2014
|