{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,5]],"date-time":"2026-06-05T02:37:46Z","timestamp":1780627066585,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642311307","type":"print"},{"value":"9783642311314","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31131-4_18","type":"book-chapter","created":{"date-parts":[[2012,6,5]],"date-time":"2012-06-05T18:36:12Z","timestamp":1338921372000},"page":"328-347","source":"Crossref","is-referenced-by-count":4,"title":["Designing Weakly Terminating ROS Systems"],"prefix":"10.1007","author":[{"given":"Debjyoti","family":"Bera","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kees M.","family":"van Hee","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jan Martijn","family":"van der Werf","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1504\/IJBPIM.2007.015132","volume":"2","author":"W.M.P. Aalst van der","year":"2007","unstructured":"van der Aalst, W.M.P., Beisiegel, M., van Hee, K.M., Konig, D., Stahl, C.: A SOA-based Architecture Framework. International Journal of Business Process Integration and Management\u00a02, 91\u2013101 (2007)","journal-title":"International Journal of Business Process Integration and Management"},{"key":"18_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1007\/978-3-540-89076-8_12","volume-title":"Simulation, Modeling, and Programming for Autonomous Robots","author":"N. Ando","year":"2008","unstructured":"Ando, N., Suehiro, T., Kotoku, T.: A Software Platform for Component Based RT-System Development: OpenRTM-AIST. In: Carpin, S., Noda, I., Pagello, E., Reggiani, M., von Stryk, O. (eds.) SIMPAR 2008. LNCS (LNAI), vol.\u00a05325, pp. 87\u201398. Springer, Heidelberg (2008)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Bruyninckx, H.: Open Robot Control Software: the OROCOS project. In: IEEE Int. Conf. Robotics and Automation, pp. 2523\u20132528 (2001)","DOI":"10.1109\/ROBOT.2001.933002"},{"key":"18_CR4","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"E.W. Dijkstra","year":"1968","unstructured":"Dijkstra, E.W.: Letters to the editor: Go To Statement Considered Harmful. Commun. ACM\u00a011, 147\u2013148 (1968)","journal-title":"Commun. ACM"},{"key":"18_CR5","unstructured":"Gerkey, B.P., Vaughan, R.T., Howard, A.: The Player\/Stage Project: Tools for Multi-Robot and Distributed Sensor Systems. In: Proceedings of the 11th International Conference on Advanced Robotics, pp. 317\u2013323 (2003)"},{"key":"18_CR6","unstructured":"Object\u00a0Management Group. OMG Unified Modeling Language (OMG UML), Superstructure V2.3. Object Management Group (2010)"},{"key":"18_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/3-540-44919-1_22","volume-title":"Applications and Theory of Petri Nets 2003","author":"K.M. Hee van","year":"2003","unstructured":"van Hee, K.M., Sidorova, N., Voorhoeve, M.: Soundness and Separability of Workflow Nets in the Stepwise Refinement Approach. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol.\u00a02679, pp. 337\u2013356. Springer, Heidelberg (2003)"},{"key":"18_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-14046-4_8","volume-title":"Software Composition","author":"K.M. Hee van","year":"2010","unstructured":"van Hee, K.M., Sidorova, N., van der Werf, J.M.: Construction of Asynchronous Communicating Systems: Weak Termination Guaranteed! In: Baudry, B., Wohlstadter, E. (eds.) SC 2010. LNCS, vol.\u00a06144, pp. 106\u2013121. Springer, Heidelberg (2010)"},{"key":"18_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-642-21834-7_9","volume-title":"Applications and Theory of Petri Nets","author":"K.M. Hee van","year":"2011","unstructured":"van Hee, K.M., Sidorova, N., van der Werf, J.M.E.M.: Refinement of Synchronizable Places with Multi-workflow Nets - Weak Termination Preserved! In: Kristensen, L.M., Petrucci, L. (eds.) PETRI NETS 2011. LNCS, vol.\u00a06709, pp. 149\u2013168. Springer, Heidelberg (2011)"},{"issue":"4","key":"18_CR10","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"18_CR11","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/2.825699","volume":"33","author":"R. Ommering van","year":"2000","unstructured":"van Ommering, R., van der Linden, F., Kramer, J., Magee, J.: The Koala Component Model for Consumer Electronics Software. Computer\u00a033, 78\u201385 (2000)","journal-title":"Computer"},{"key":"18_CR12","unstructured":"Quigley, M., Gerkey, B., Conley, K., Faust, J., Foote, T., Leibs, J., Berger, E., Wheeler, R., Ng, A.Y.: ROS: an open-source Robot Operating System. In: Open-Source Software Workshop of the International Conference on Robotics and Automation, ICRA (2009)"},{"key":"18_CR13","unstructured":"Robot\u00a0ROSE website, http:\/\/www.robot-rose.nl\/"},{"key":"18_CR14","unstructured":"ROS website, http:\/\/www.ros.org\/"}],"container-title":["Lecture Notes in Computer Science","Application and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31131-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,29]],"date-time":"2025-03-29T10:33:51Z","timestamp":1743244431000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31131-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642311307","9783642311314"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31131-4_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}