{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:43Z","timestamp":1750220863202,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,12,20]],"date-time":"2019-12-20T00:00:00Z","timestamp":1576800000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,12,20]]},"DOI":"10.1145\/3377170.3377221","type":"proceedings-article","created":{"date-parts":[[2020,3,20]],"date-time":"2020-03-20T11:16:22Z","timestamp":1584702982000},"page":"338-343","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Formalizing Railway Network Using Hierarchical Timed Coloured Petri Nets"],"prefix":"10.1145","author":[{"given":"Lalita","family":"Thampibal","sequence":"first","affiliation":[{"name":"Department of Computer Engineering, Chulalongkorn University, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wiwat","family":"Vatanawood","sequence":"additional","affiliation":[{"name":"Department of Computer Engineering, Chulalongkorn University, Bangkok, Thailand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,3,20]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Railway Network Modeling Using Building Block of Timed Coloured Petri Nets. In 4th International Conference on Computer and Communications (ICCC)","author":"Songwiroj N.","year":"2018","unstructured":"Songwiroj , N. , Vatanawood , W. and Vanit-Anunchai , S . 2018 . Railway Network Modeling Using Building Block of Timed Coloured Petri Nets. In 4th International Conference on Computer and Communications (ICCC) , ( Chengdu, China), IEEE. doi: 10.1109\/CompComm. 2018 .8780751 10.1109\/CompComm.2018.8780751 Songwiroj, N., Vatanawood, W. and Vanit-Anunchai, S. 2018. Railway Network Modeling Using Building Block of Timed Coloured Petri Nets. In 4th International Conference on Computer and Communications (ICCC), (Chengdu, China), IEEE. doi: 10.1109\/CompComm.2018.8780751"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-007-0038-x"},{"volume-title":"Modeling Business Process: A Petri Net-Oriented Approach","author":"Stahl C.","key":"e_1_3_2_1_3_1","unstructured":"Stahl , C. , and van der Aalst , W. 2011. Modeling Business Process: A Petri Net-Oriented Approach . MIT Press , Cambridge . Stahl, C., and van der Aalst, W. 2011. Modeling Business Process: A Petri Net-Oriented Approach. MIT Press, Cambridge."},{"key":"e_1_3_2_1_4_1","unstructured":"CPN Tools. 2019. CPN Tools. http:\/\/cpntools.org  CPN Tools. 2019. CPN Tools. http:\/\/cpntools.org"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Milner R. Tofte M. Harper R. and MacQueen D. 1997. The definition of standard ML: revised. MIT press.  Milner R. Tofte M. Harper R. and MacQueen D. 1997. The definition of standard ML: revised. MIT press.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"e_1_3_2_1_6_1","unstructured":"State Railway of Thailand. 2018. Home. http:\/\/www.railway.co.th\/Home\/Index  State Railway of Thailand. 2018. Home. http:\/\/www.railway.co.th\/Home\/Index"},{"key":"e_1_3_2_1_7_1","first-page":"457","article-title":"A train traffic model based on coloured Petri Nets and its application to a train schedule planning system","volume":"20","author":"Sakaguchi T.","year":"1996","unstructured":"Sakaguchi , T. , and Tomii N. 1996 . A train traffic model based on coloured Petri Nets and its application to a train schedule planning system . WIT Transactions on the Built Environment , 20 , 457 -- 466 . Sakaguchi, T., and Tomii N. 1996. A train traffic model based on coloured Petri Nets and its application to a train schedule planning system. WIT Transactions on the Built Environment, 20, 457--466.","journal-title":"WIT Transactions on the Built Environment"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"Bozek A. 2012. Using Timed Coloured Petri Nets for Modelling Simulation and Scheduling of Production Systems. Production Scheduling InTech Rijeka (Croatia) 207--230.  Bozek A. 2012. Using Timed Coloured Petri Nets for Modelling Simulation and Scheduling of Production Systems. Production Scheduling InTech Rijeka (Croatia) 207--230.","DOI":"10.5772\/25980"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/RAAD.2014.7002226"}],"event":{"name":"ICIT 2019: IoT and Smart City","sponsor":["Shanghai Jiao Tong University Shanghai Jiao Tong University","The Hong Kong Polytechnic The Hong Kong Polytechnic University","University of Malaya University of Malaya"],"location":"Shanghai China","acronym":"ICIT 2019"},"container-title":["Proceedings of the 2019 7th International Conference on Information Technology: IoT and Smart City"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377170.3377221","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377170.3377221","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:39Z","timestamp":1750202619000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377170.3377221"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,20]]},"references-count":9,"alternative-id":["10.1145\/3377170.3377221","10.1145\/3377170"],"URL":"https:\/\/doi.org\/10.1145\/3377170.3377221","relation":{},"subject":[],"published":{"date-parts":[[2019,12,20]]},"assertion":[{"value":"2020-03-20","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}