{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:55:31Z","timestamp":1725864931989},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319459424"},{"type":"electronic","value":"9783319459431"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-45943-1_15","type":"book-chapter","created":{"date-parts":[[2016,9,12]],"date-time":"2016-09-12T17:31:17Z","timestamp":1473701477000},"page":"214-230","source":"Crossref","is-referenced-by-count":2,"title":["Application of Coloured Petri Nets in Modelling and Simulating a Railway Signalling System"],"prefix":"10.1007","author":[{"given":"Somsak","family":"Vanit-Anunchai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,13]]},"reference":[{"issue":"3","key":"15_CR1","doi-asserted-by":"crossref","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":"15_CR2","unstructured":"CPN Tools. http:\/\/cpntools.org"},{"key":"15_CR3","unstructured":"Clavel, M., et al.: Maude Manual. http:\/\/maude.cs.uiuc.edu\/"},{"key":"15_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"276","DOI":"10.1007\/978-3-642-34032-1_26","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"A Fantechi","year":"2012","unstructured":"Fantechi, A.: Distributing the challenge of model checking interlocking control tables. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 276\u2013289. Springer, Heidelberg (2012)"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1007\/978-3-319-05032-4_13","volume-title":"Software Engineering and Formal Methods","author":"A Fantechi","year":"2014","unstructured":"Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 167\u2013183. Springer, Heidelberg (2014)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Fantechi, A., Fokkink, W., Morzenti, A.: Some trends in formal methods applications to railway signaling. In: Formal Methods for Industrial Critical Systems: A Survey of Applications, pp. 61\u201384 (2012)","DOI":"10.1002\/9781118459898.ch4"},{"key":"15_CR7","first-page":"107","volume-title":"FORMS\/FORMAT - Formal Methods for Automation and Safety in Railway and Automotive Systems","author":"A Ferrari","year":"2010","unstructured":"Ferrari, A., Magnani, G., Grasso, D., Fantechi, A.: Model checking interlocking control tables. In: Schnieder, E., Tarnai, G. (eds.) FORMS\/FORMAT - Formal Methods for Automation and Safety in Railway and Automotive Systems, pp. 107\u2013115. Springer, Heidelberg (2010)"},{"issue":"4","key":"15_CR8","doi-asserted-by":"crossref","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":"15_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1007\/978-3-319-05032-4_16","volume-title":"Software Engineering and Formal Methods","author":"AE Haxthausen","year":"2014","unstructured":"Haxthausen, A.E., Peleska, J., Pinger, R.: Applied bounded model checking for interlocking system designs. In: Counsell, S., N\u00fa\u00f1ez, M. (eds.) SEFM 2013. LNCS, vol. 8368, pp. 205\u2013220. Springer, Heidelberg (2014)"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"160","DOI":"10.1007\/978-3-319-33951-1_12","volume-title":"Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification","author":"AE Haxthausen","year":"2016","unstructured":"Haxthausen, A.E., Nguyen, H.N., Roggenbach, M.: Comparing formal verification approaches of interlocking systems. In: Lecomte, T., Pinger, R., Romanovsky, A. (eds.) RSSRail 2016. LNCS, vol. 9707, pp. 160\u2013177. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-33951-1_12"},{"key":"15_CR11","series-title":"Communications in Computer and Information Science","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/978-3-662-45558-6","volume-title":"Formal Techniques for Safety-Critical Systems","author":"LV Hong","year":"2014","unstructured":"Hong, L.V., Haxthausen, A.E., Peleska, J.: Formal modeling and verification of interlocking systems featuring sequential release. In: Artho, C., Olveczky, P.C. (eds.) FTSCS 2014. Communications in Computer and Information Science, vol. 476, pp. 223\u2013238. Springer, Heidelberg (2014)"},{"key":"15_CR12","doi-asserted-by":"crossref","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":"15_CR13","doi-asserted-by":"crossref","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":"15_CR14","doi-asserted-by":"crossref","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":"15_CR15","doi-asserted-by":"crossref","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":"15_CR16","unstructured":"Sun, P.: Model based system engineering for safety of railway critical systems. Ph.D. thesis, Universit\u00e9 Lille Nord de France, France, July 2015"},{"key":"15_CR17","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":"15_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1007\/978-3-642-13414-2_10","volume-title":"Coordination Models and Languages","author":"S Vanit-Anunchai","year":"2010","unstructured":"Vanit-Anunchai, S.: Modelling railway interlocking tables using coloured Petri nets. In: Clarke, D., Agha, G. (eds.) COORDINATION 2010. LNCS, vol. 6116, pp. 137\u2013151. Springer, Heidelberg (2010)"},{"key":"15_CR19","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":"15_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"246","DOI":"10.1007\/978-3-642-34032-1_24","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation","author":"K Winter","year":"2012","unstructured":"Winter, K.: Optimising ordering strategies for symbolic model checking of railway interlockings. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol. 7610, pp. 246\u2013260. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","Critical Systems: Formal Methods and Automated Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-45943-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,8]],"date-time":"2022-07-08T05:24:04Z","timestamp":1657257844000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-45943-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319459424","9783319459431"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-45943-1_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}