{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:25:39Z","timestamp":1761611139672},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1986,7,1]],"date-time":"1986-07-01T00:00:00Z","timestamp":520560000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Acta Informatica"],"published-print":{"date-parts":[[1986,7]]},"DOI":"10.1007\/bf00267866","type":"journal-article","created":{"date-parts":[[2004,10,3]],"date-time":"2004-10-03T02:58:32Z","timestamp":1096772312000},"page":"429-463","source":"Crossref","is-referenced-by-count":1,"title":["The Merlin-Randell problem of train journeys"],"prefix":"10.1007","volume":"23","author":[{"given":"Maciej","family":"Koutny","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"CR1","volume-title":"Lect. Notes Comput. Sci., Vol. 84","author":"W. Brauer","year":"1980","unstructured":"Brauer, W.: Applications and Theory of Petri Nets. Lect. Notes Comput. Sci., Vol. 84. Berlin, Heidelberg, New York: Springer 1980"},{"key":"CR2","unstructured":"Devillers, R.: The Train Set Strikes Again. Report ASM\/105, Comp. Lab., Univ. of Newcastle upon Tyne 1982"},{"key":"CR3","unstructured":"Janicki, R., Lauer, P.E.: Towards a Solution of the Merlin-Randell Problem of Train Journeys. Report ASM\/95, Comp. Lab., Univ. of Newcastle upon Tyne 1982"},{"key":"CR4","first-page":"179","volume-title":"Lect. Notes Comp. Sci. Vol. 167","author":"M. Koutny","year":"1984","unstructured":"Koutny, M.: On the Merlin-Randell Problem of Train Journeys. Lect. Notes Comp. Sci. Vol. 167, pp. 179?190. Berlin, Heidelberg, New York: Springer 1984"},{"key":"CR5","first-page":"237","volume-title":"COMPUTING 85: A Broad Perspective of Current Developments","author":"M. Koutny","year":"1985","unstructured":"Koutny, M.: Synchronisation Strategies in the Merlin-Randell Problem. In: COMPUTING 85: A Broad Perspective of Current Developments. (G. Bucci and G. Valle eds.), pp. 237?243. North-Holland: Elsevier Science Publishers 1985"},{"key":"CR6","first-page":"109","volume-title":"Distributed Computing Systems: Synchronisation, Control and Communication","author":"P.E. Lauer","year":"1983","unstructured":"Lauer, P.E.: Computer System Dossiers. In: Distributed Computing Systems: Synchronisation, Control and Communication. (Y. Parker and J.P. Verjus eds.), pp. 109?148. New York: Academic Press 1983"},{"key":"CR7","volume-title":"Lect. Notes Comput. Sci. Vol. 107","author":"P.E. Lauer","year":"1981","unstructured":"Lauer, P.E., Shields, M.W., Cotronis, J.Y.: Formal behavioural specification of concurrent systems without globality assumptions. Lect. Notes Comput. Sci. Vol. 107. Berlin, Heidelberg, New York: Springer 1981"},{"key":"CR8","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1007\/BF00266047","volume":"12","author":"P.E. Lauer","year":"1979","unstructured":"Lauer, P.E., Torrigani, P.R., Shields, M.W.: COSY: a system specification language based on path expressions. Acta Inf. 12, 109?158 (1979)","journal-title":"Acta Inf."},{"key":"CR9","unstructured":"Merlin, P., Randell, B.: Notes on Deadlock Avoidance on the Train Set. Report MRM\/144, Comp. Lab., Univ. of Newcastle upon Tyne 1978"},{"key":"CR10","unstructured":"Randell, B.: Safe Train Journeys. Report MRM\/139, Comp. Lab., Univ. of Newcastle upon Tyne 1978"},{"key":"CR11","unstructured":"Shields, M.W.: COSY Train Journeys, Report ASM\/67, Comp. Lab., Univ. of Newcastle upon Tyne 1979"},{"key":"CR12","first-page":"249","volume-title":"Lect. Notes Comput. Sci. Vol. 70","author":"M.W. Shields","year":"1979","unstructured":"Shields, M.W.: Adequate Path Expressions. Lect. Notes Comput. Sci. Vol. 70, pp. 249?265. Berlin, Heidelberg, New York: Springer 1979"}],"container-title":["Acta Informatica"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00267866.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF00267866\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF00267866","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,3]],"date-time":"2019-04-03T19:21:02Z","timestamp":1554319262000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF00267866"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986,7]]},"references-count":12,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1986,7]]}},"alternative-id":["BF00267866"],"URL":"https:\/\/doi.org\/10.1007\/bf00267866","relation":{},"ISSN":["0001-5903","1432-0525"],"issn-type":[{"value":"0001-5903","type":"print"},{"value":"1432-0525","type":"electronic"}],"subject":[],"published":{"date-parts":[[1986,7]]}}}