Modelling Railway Interlocking Tables Using Coloured Petri Nets.

Somsak Vanit-Anunchai

Published in: COORDINATION (2010)

Keyphrases

coloured petri nets
formal verification
database
databases
expert systems
conceptual modelling
neural network
real world
data mining
machine learning
information retrieval
multiscale
evolutionary algorithm