Lalita Thampibal, Wiwat Vatanawood. Formalizing Railway Network Using Hierarchical Timed Coloured Petri Nets. In ICIT 2019 - The 7th International Conference on Information Technology: IoT and Smart City, Shanghai, China, December 20-23, 2019. pages 338-343, ACM, 2019. [doi]
Abstract is missing.