Modelling and simulating a Thai railway signalling system using Coloured Petri Nets.

Somsak Vanit-Anunchai

Published in: Int. J. Softw. Tools Technol. Transf. (2018)

Keyphrases

coloured petri nets
formal verification
conceptual modelling
information retrieval
traffic management
modelling language
real world
genetic algorithm
data structure
learning environment
preprocessing
expert systems
relational databases
evolutionary algorithm
probabilistic model
word segmentation