Functional safety verification on railway signaling system with Colored Petri Nets.

Xiaoli She Jiyuan Zhao Jian Yang

Published in: ITSC (2014)

Keyphrases

colored petri nets
petri net
web services
traffic safety
traffic management
machine learning
multiscale
database systems
social networks
road safety
functional verification
search algorithm
model checking
computer vision
functional analysis
real world
concurrent systems