Formalizing Railway Network Using Hierarchical Timed Coloured Petri Nets. - Lalita Thampibal; Wiwat Vatanawood (ICIT, 2019)