{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T12:37:57Z","timestamp":1780403877719,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540205388","type":"print"},{"value":"9783540400226","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-40022-6_10","type":"book-chapter","created":{"date-parts":[[2011,1,27]],"date-time":"2011-01-27T09:15:31Z","timestamp":1296119731000},"page":"197-218","source":"Crossref","is-referenced-by-count":15,"title":["Modelling a Railway Crossing with Message Sequence Charts and Petri Nets"],"prefix":"10.1007","author":[{"given":"Olaf","family":"Kluge","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"10_CR1","volume-title":"Syntactic Detection of Process Divergence and non- Local Choice in Message Sequence Charts","author":"H. Ben-Abdallah","year":"1996","unstructured":"Ben-Abdallah, H., Leue, S.: Syntactic Detection of Process Divergence and non- Local Choice in Message Sequence Charts. University of Waterloo, Canada (1996)"},{"key":"10_CR2","unstructured":"Damm, W., Dhmen, G., Klose, J.: Secure decentralized control of railway crossings. In: Proceedings of the Fourth International ERCIM Workshop on Formal Methods in Industrial Critical Systems (1999)"},{"key":"10_CR3","doi-asserted-by":"crossref","unstructured":"Ehrig, H., et al.: Integration von Techniken der Software Spezifikation f\u00fcr ingenieurwissenschaftliche Anwendungen (1997), http:\/\/tfs.cs.tu-berlin.de\/SPP\/index.html","DOI":"10.1007\/978-3-642-60831-5_24"},{"key":"10_CR4","unstructured":"ETCS Phase I - Modellbildung, Simulation und Schnittstellenbetrachtung. Technische Universit\u00e4t Braunschweig, Institut f\u00fcr Regelungs- und Automatisierungstechnik. Projektdokumentation (1997)"},{"key":"10_CR5","first-page":"179","volume-title":"SDL 1993: Using Objects, Proceedings of the Sixth SDL Forum","author":"J. Grabowski","year":"1993","unstructured":"Grabowski, J., Graubmann, P., Rudolph, E.: Towards a Petri net based semantics definition for Message Sequence Charts. In: Frgemand, O., Sarma, A. (eds.) SDL 1993: Using Objects, Proceedings of the Sixth SDL Forum, Darmstadt, pp. 179\u2013190. North-Holland, Amsterdam (1993)"},{"key":"10_CR6","unstructured":"ITU, Annex B to Recommendation Z.120: Message Sequence Charts (MSC), ITU Genral Secreteriat (1998)"},{"key":"10_CR7","unstructured":"ITU, MSC2000, Recommendation Z.120: Message Sequence Charts (MSC), ITU Genral Secreteriat (1999)"},{"key":"10_CR8","unstructured":"Klose, J.: Sichere dezentrale Steuerung von Bahn\u00fcberg\u00e4ngen, Diplomarbeit. Universit\u00e4t Oldenburg (1998)"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Kluge, O.: Time in Message Sequence Chart Specifications and How to Derive Stochastic Petri Nets. In: Proceedings of the Third International Workshop on Communication Based Systems (CBS3), Berlin (March 2000)","DOI":"10.1007\/978-94-015-9608-4_2"},{"key":"10_CR10","first-page":"25","volume-title":"FORMS 2000 - Formale Techniken f\u00fcr die Eisenbahnsicherung, Fortsch.-Ber. VDI Reihe 12 Nr. 441","author":"O. Kluge","year":"2000","unstructured":"Kluge, O., Padberg, J., Ehrig, H.: Modeling Train Control Systems: From Message Sequence Charts to Petri Nets. In: FORMS 2000 - Formale Techniken f\u00fcr die Eisenbahnsicherung, Fortsch.-Ber. VDI Reihe 12 Nr. 441, pp. 25\u201342. VDI Verlag, D\u00fcsseldorf (2000)"},{"key":"10_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BFb0053553","volume-title":"Foundations of Software Science and Computation Structures","author":"A. Muscholl","year":"1998","unstructured":"Muscholl, A., Peled, D., Su, Z.: Deciding Properties for Message Sequence Charts. In: Nivat, M. (ed.) FOSSACS 1998. LNCS, vol.\u00a01378, p. 226. Springer, Heidelberg (1998)"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/3-540-49019-1_19","volume-title":"Foundations of Software Science and Computation Structures","author":"A. Muscholl","year":"1999","unstructured":"Muscholl, A.: Matching Specifications for Message Sequence Charts. In: Thomas, W. (ed.) FOSSACS 1999. LNCS, vol.\u00a01578, pp. 273\u2013287. Springer, Heidelberg (1999)"},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1017\/S0960129500000724","volume":"5","author":"J. Padberg","year":"1995","unstructured":"Padberg, J., Ehrig, H., Ribeiro, L.: Algebraic High-level net transformation systems. Mathematical Structures in Computer Science\u00a05, 217\u2013256 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"10_CR14","unstructured":"Padberg, J., Jansen, L., Ehrig, H., Schnieder, E.: Cooperability in Train Control Systems: Specification of Scenarios using Open Nets, Special Issue. In: Ehrig, H., Goedicke, M., Padberg, J. (eds.) Society for Design and Process Science (SDPS) 1999 (1999)"},{"key":"10_CR15","unstructured":"Jansen, L.: Referenzfallstudie Verkehrsleittechnik (1997), http:\/\/www.ifra.ing.tu-bs.de\/~m33\/spezi"}],"container-title":["Lecture Notes in Computer Science","Petri Net Technology for Communication-Based Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-40022-6_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,8]],"date-time":"2019-06-08T00:53:48Z","timestamp":1559955228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-40022-6_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540205388","9783540400226"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-40022-6_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2003]]}}}