Modeling of Coordination Policy Based on Coloured Petri Nets
JOURNAL- XIAN JIAOTONG UNIVERSITY ; 35 ; 1004-1007
2001-01-01
4 pages
Article (Journal)
Unknown
DDC: | 500 |
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
A simplified passenger flow model using Coloured Petri Nets
British Library Conference Proceedings | 2002
|COLOURED PETRI NETS TO MODEL GEOGRAPHICAL INTERLOCKING FOR RAILWAY
British Library Conference Proceedings | 2005
|A Train Rescheduling System Using Timed Coloured Petri Nets
Springer Verlag | 2020
|Model-based testing of a reactive system with coloured Petri Nets
Tema Archive | 2006
|Experience using Coloured Petri Nets to Model Railway Interlocking Tables
ArXiv | 2014
|