{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,14]],"date-time":"2024-07-14T23:26:54Z","timestamp":1720999614773},"reference-count":22,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T00:00:00Z","timestamp":1516147200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1007\/s10009-018-0482-9","type":"journal-article","created":{"date-parts":[[2018,1,17]],"date-time":"2018-01-17T15:12:27Z","timestamp":1516201947000},"page":"243-262","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Modelling and simulating a Thai railway signalling system using Coloured Petri Nets"],"prefix":"10.1007","volume":"20","author":[{"given":"Somsak","family":"Vanit-Anunchai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,1,17]]},"reference":[{"issue":"3","key":"482_CR1","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1109\/M-PDT.1995.414843","volume":"3","author":"T Basten","year":"1995","unstructured":"Basten, T., Bol, R., Voorhoeve, M.: Simulating and analyzing railway interlockings in exspec. IEEE Parallel Distrib. Technol. Syst. Appl. 3(3), 50\u201362 (1995)","journal-title":"IEEE Parallel Distrib. Technol. Syst. Appl."},{"key":"482_CR2","unstructured":"CPN Tools home page. http:\/\/cpntools.org"},{"key":"482_CR3","unstructured":"Clavel, M. et\u00a0al.: Maude Manual. http:\/\/maude.cs.uiuc.edu\/"},{"key":"482_CR4","doi-asserted-by":"crossref","unstructured":"Fantechi, A.: Distributing the challenge of model checking interlocking control tables. In: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies\u20145th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, 15\u201318 Oct 2012, Proceedings, Part II, pp. 276\u2013289 (2012)","DOI":"10.1007\/978-3-642-34032-1_26"},{"key":"482_CR5","doi-asserted-by":"crossref","unstructured":"Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: Software Engineering and Formal Methods\u2014SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, 23\u201324 Sept 2013, Revised Selected Papers, pp. 167\u2013183 (2013)","DOI":"10.1007\/978-3-319-05032-4_13"},{"key":"482_CR6","doi-asserted-by":"publisher","unstructured":"Fantechi, A., Fokkink, W., Morzenti, A.: Some trends in formal methods applications to railway signaling. In: Gnesi, S., Margaria, T. (eds.) Formal Methods for Industrial Critical Systems: A Survey of Applications, pp. 61\u201384. John Wiley & Sons (2012). ISBN:9780470876183 (print). ISBN:9781118459898 (online). https:\/\/doi.org\/10.1002\/9781118459898","DOI":"10.1002\/9781118459898"},{"key":"482_CR7","doi-asserted-by":"crossref","unstructured":"Ferrari, A., Magnani, G., Grasso, D., Fantechi, A.: Model checking interlocking control tables. In: FORMS\/FORMAT 2010\u2014Formal Methods for Automation and Safety in Railway and Automotive Systems, 8th Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems, Braunschweig, Germany, 2\u20133 Dec 2010, pp. 107\u2013115 (2010)","DOI":"10.1007\/978-3-642-14261-1_11"},{"issue":"4","key":"482_CR8","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1109\/TSMCC.2007.897323","volume":"37","author":"AM Hagalisletto","year":"2007","unstructured":"Hagalisletto, A.M., Bj\u00f8rk, J., Yu, I.C., Enger, P.: Constructing and refining large-scale railway models represented by petri nets. IEEE Trans Syst Man Cybern Part C 37(4), 444\u2013460 (2007)","journal-title":"IEEE Trans Syst Man Cybern Part C"},{"key":"482_CR9","doi-asserted-by":"crossref","unstructured":"Haxthausen, A., Peleska, J., Pinger, R.: Applied bounded model checking for interlocking system designs. In: Software Engineering and Formal Methods\u2014SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, 23\u201324 Sept 2013, Revised Selected Papers, pp. 205\u2013220 (2013)","DOI":"10.1007\/978-3-319-05032-4_16"},{"key":"482_CR10","doi-asserted-by":"crossref","unstructured":"Haxthausen, A.E., Nguyen, H.N., Roggenbach, M.: Comparing formal verification approaches of interlocking systems. In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification\u2014First International Conference, RSSRail 2016, Paris, France, 28\u201330 June 2016, Proceedings, pp. 160\u2013177 (2016)","DOI":"10.1007\/978-3-319-33951-1_12"},{"key":"482_CR11","doi-asserted-by":"crossref","unstructured":"Hong, L.V., Haxthausen, A.E., Peleska, J.: Formal modeling and verification of interlocking systems featuring sequential release. In: Formal Techniques for Safety-Critical Systems\u2014Third International Workshop, FTSCS 2014, Luxembourg, 6\u20137 Nov 2014. Revised Selected Papers, pp. 223\u2013238 (2014)","DOI":"10.1007\/978-3-319-17581-2_15"},{"key":"482_CR12","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/j.scico.2014.04.005","volume":"96","author":"P James","year":"2014","unstructured":"James, P., Moller, F., Nguyen, H.N., Roggenbach, M., Schneider, S.A., Treharne, H.: On modelling and verifying railway interlockings: tracking train lengths. Sci. Comput. Program. 96, 315\u2013336 (2014)","journal-title":"Sci. Comput. Program."},{"issue":"6","key":"482_CR13","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1007\/s10009-014-0304-7","volume":"16","author":"P James","year":"2014","unstructured":"James, P., Moller, F., Nguyen, H.N., Roggenbach, M., Schneider, S.A., Treharne, H.: Techniques for modelling and verifying railway interlockings. STTT 16(6), 685\u2013711 (2014)","journal-title":"STTT"},{"issue":"6","key":"482_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/2663340","volume":"58","author":"K Jensen","year":"2015","unstructured":"Jensen, K., Kristensen, L.M.: Colored petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM 58(6), 61\u201370 (2015)","journal-title":"Commun. ACM"},{"key":"482_CR15","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/j.tcs.2011.12.036","volume":"429","author":"K Jensen","year":"2012","unstructured":"Jensen, K., Kristensen, L.M., Mailund, T.: The sweep-line state space exploration method. Theor. Comput. Sci. 429, 169\u2013179 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"482_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets: Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Heidelberg (2009)"},{"key":"482_CR17","unstructured":"Sun, P.: Model based system engineering for safety of railway critical systems. PhD thesis, Universit\u00e9 Lille Nord de France, France, July (2015)"},{"key":"482_CR18","doi-asserted-by":"crossref","unstructured":"Vanit-Anunchai, S.: Verification of railway interlocking tables using coloured petri nets. In: The Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, DAIMI PB 590, pp. 139\u2013158. Department of Computer Science, University of Aarhus (2009)","DOI":"10.1007\/978-3-642-13414-2_10"},{"key":"482_CR19","doi-asserted-by":"crossref","unstructured":"Vanit-Anunchai, S.: Modelling railway interlocking table using coloured petri nets. In: Clarke, D., Agha, G. (eds.) Proceedings of the 12th International Conference on Coordination Models and Languages, (Coordination 2010). Lecture Notes in Computer Science, vol. 6116, pp. 137\u2013151. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-13414-2_10"},{"key":"482_CR20","doi-asserted-by":"crossref","unstructured":"Vanit-Anunchai, S.: Experience using coloured petri nets to model railway interlocking tables. In: Proceedings 2nd French Singaporean Workshop on Formal Methods and Applications, FSFMA 2014, Singapore, 13 May 2014, pp. 17\u201328 (2014)","DOI":"10.4204\/EPTCS.156.6"},{"key":"482_CR21","doi-asserted-by":"crossref","unstructured":"Vanit-Anunchai, S.: Application of coloured petri nets in modelling and simulating a railway signalling system. In: Critical Systems: Formal Methods and Automated Verification\u2014Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, 26\u201328 Sept 2016, Proceedings, pp. 214\u2013230 (2016)","DOI":"10.1007\/978-3-319-45943-1_15"},{"key":"482_CR22","doi-asserted-by":"crossref","unstructured":"Winter, K.: Optimising ordering strategies for symbolic model checking of railway interlockings. In: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies\u20145th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, 15\u201318 Oct 2012, Proceedings, Part II, pp. 246\u2013260 (2012)","DOI":"10.1007\/978-3-642-34032-1_24"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-018-0482-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-018-0482-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-018-0482-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,31]],"date-time":"2023-08-31T15:39:08Z","timestamp":1693496348000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-018-0482-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,17]]},"references-count":22,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,6]]}},"alternative-id":["482"],"URL":"https:\/\/doi.org\/10.1007\/s10009-018-0482-9","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1,17]]},"assertion":[{"value":"17 January 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}