{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:20:54Z","timestamp":1761488454446},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642134135"},{"type":"electronic","value":"9783642134142"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-13414-2_10","type":"book-chapter","created":{"date-parts":[[2010,6,7]],"date-time":"2010-06-07T10:43:20Z","timestamp":1275907400000},"page":"137-151","source":"Crossref","is-referenced-by-count":16,"title":["Modelling Railway Interlocking Tables Using Coloured Petri Nets"],"prefix":"10.1007","author":[{"given":"Somsak","family":"Vanit-Anunchai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"10_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 and Distributed Technology, Systems and Applications\u00a03(3), 50\u201362 (1995)","journal-title":"IEEE Parallel and Distributed Technology, Systems and Applications"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-540-69100-6_24","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"C. Chevilat","year":"2008","unstructured":"Chevilat, C., Carrington, D., Strooper, P., S\u00fc\u00df, J.G., Wildman, L.: Model-Based Generation of Interlocking Controller Software from Control Tables. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol.\u00a05095, pp. 349\u2013360. Springer, Heidelberg (2008)"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","volume-title":"Computer Aided Verification","author":"A. Cimatti","year":"1999","unstructured":"Cimatti, A., Clarke, E.E., Giunchiglia, F., Roveri, M.: NuSMV: A new symbolic model verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 495\u2013499. Springer, Heidelberg (1999)"},{"unstructured":"Durmus, M.S., Soylemez, M.T.: Railway Signalization and Interlocking Design via Automation Petri Nets. In: Proceedings of the 7th Asian Control Conference, Hong Kong, August 27-29, 2009, pp. 1558\u20131563 (2009)","key":"10_CR4"},{"unstructured":"Fokkink, W.J., Hollingshead, P.R.: Verification of Interlockings: from Control Tables to Ladder Logic Diagrams. In: Proceedings of the 3rd Workshop on Formal Methods for Industrial Critical Systems (FMICS 1998), Amsterdam, May 1998, pp. 171\u2013185. Stichting Mathematisch Centrum (1998)","key":"10_CR5"},{"issue":"4","key":"10_CR6","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1109\/TSMCC.2007.897323","volume":"37","author":"A.M. 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 Transactions on Systems, Man, and Cybernetics, Part C\u00a037(4), 444\u2013460 (2007)","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics, Part C"},{"unstructured":"Hansen, K.M.: Formalizing Railway Interlocking Systems. In: Nordic Seminar on Dependable Computing Systems, Department of Computer Science, Technical University of Denmark, pp. 83\u201394 (1994)","key":"10_CR7"},{"unstructured":"Janczura, C.W.: Modelling and Analysis of Railway Network Control Logic using Coloured Petri Nets. PhD thesis, School of Mathematics and Institute for Telecommunications Research, University of South Australia, Adelaide, Australia (August 1998)","key":"10_CR8"},{"issue":"3-4","key":"10_CR9","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K. Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri Nets and CPN Tools for Modelling and Validation of Concurrent Systems. International Journal on Software Tools for Technology Transfer\u00a09(3-4), 213\u2013254 (2007)","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"10_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-87875-9_9","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Svendsen","year":"2008","unstructured":"Svendsen, A., Olsen, G.K., Endresen, J., Moen, T., Carlson, E., Alme, K., Haugen, \u00d8.: The Future of Train Signaling. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 128\u2013142. Springer, Heidelberg (2008)"},{"issue":"3","key":"10_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF01088807","volume":"9","author":"W.M.P. Aalst van der","year":"1995","unstructured":"van der Aalst, W.M.P., Odijk, M.A.: Analysis of Railway Stations by Means of Interval Timed Coloured Petri Nets. Real-Time Systems\u00a09(3), 1\u201323 (1995)","journal-title":"Real-Time Systems"},{"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, Department of Computer Science, University of Aarhus, October 19-21, pp. 139\u2013158 (2009)","key":"10_CR12"},{"unstructured":"Winter, K.: Model Checking Railway Interlocking Systems. In: Oudshoorn, M. (ed.) Proceeding of the 25th Australasian Computer Science Conference (ACSC 2002), Melbourne, Australia, vol.\u00a04, pp. 303\u2013310. Australian Computer Society (2002)","key":"10_CR13"},{"unstructured":"Winter, K., Johnston, W., Robinson, P., Strooper, P., van den Berg, L.: Tool Support for Checking Railway Interlocking Designs. In: Cant, T. (ed.) Proceeding of the 10th Australian Workshop on Safety Related Programmable Systems (SCS 2005), Sydney, Australia, vol.\u00a055, pp. 101\u2013107. Australian Computer Society (2005)","key":"10_CR14"},{"unstructured":"Winter, K., Robinson, N.: Modelling Large Railway Interlockings and Model Checking Small Ones. In: Oudshoorn, M. (ed.) Proceeding of the 26th Australasian Cumputer Science Conference (ACSC 2003), Adelaide, Australia, vol.\u00a016, pp. 309\u2013316. Australian Computer Society (2003)","key":"10_CR15"}],"container-title":["Lecture Notes in Computer Science","Coordination Models and Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-13414-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T12:02:59Z","timestamp":1619784179000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13414-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642134135","9783642134142"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13414-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}