{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T20:30:55Z","timestamp":1726000255170},"publisher-location":"Cham","reference-count":10,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030028855"},{"type":"electronic","value":"9783030028862"}],"license":[{"start":{"date-parts":[[2018,11,17]],"date-time":"2018-11-17T00:00:00Z","timestamp":1542412800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-02886-2_1","type":"book-chapter","created":{"date-parts":[[2018,11,16]],"date-time":"2018-11-16T08:55:26Z","timestamp":1542358526000},"page":"1-12","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Net-Based Formal Framework for Causal Loop Diagrams"],"prefix":"10.1007","author":[{"given":"Guillermina","family":"Cledou","sequence":"first","affiliation":[]},{"given":"Shin","family":"Nakajima","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,11,17]]},"reference":[{"key":"1_CR1","volume-title":"Model Checking","author":"EM Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Cledou, G., Barbosa, L.: An ontology for licensing public transport services. In: Proceedings of the 9th ICEGOV, pp. 230\u2013239 (2016)","DOI":"10.1145\/2910019.2910101"},{"issue":"4","key":"1_CR3","first-page":"21","volume":"29","author":"D Jackson","year":"1996","unstructured":"Jackson, D., Wing, J.: Lightweight formal methods. IEEE Comput. 29(4), 21\u201322 (1996)","journal-title":"IEEE Comput."},{"key":"1_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03241-1","volume-title":"Coloured Petri Net","author":"K Jensen","year":"1996","unstructured":"Jensen, K.: Coloured Petri Net. Springer, Heidelberg (1996)"},{"key":"1_CR5","volume-title":"Engineering a Safer World: Systems Thinking Applied to Safety","author":"NG Leveson","year":"2011","unstructured":"Leveson, N.G.: Engineering a Safer World: Systems Thinking Applied to Safety. The MIT Press, Cambridge (2011)"},{"issue":"4","key":"1_CR6","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. Proc. IEEE 77(4), 541\u2013580 (1989)","journal-title":"Proc. IEEE"},{"key":"1_CR7","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-319-12544-2_1","volume-title":"Complex Systems Design & Management Asia","author":"Shin Nakajima","year":"2015","unstructured":"Nakajima, S.: Model checking of energy consumption behavior. In: Proceedings of the 1st CSD&M-Asia, pp. 3\u201314 (2014)"},{"key":"1_CR8","volume-title":"Normal Accidents: Living with High-Risk Technologies","author":"C Perrow","year":"1999","unstructured":"Perrow, C.: Normal Accidents: Living with High-Risk Technologies. Princeton University Press, Princeton (1999)"},{"issue":"2","key":"1_CR9","first-page":"83","volume":"2","author":"SP Shepherd","year":"2014","unstructured":"Shepherd, S.P.: A review of system dynamics models applied in transportation. Transp. B Transp. Dyn. 2(2), 83\u2013105 (2014)","journal-title":"Transp. B Transp. Dyn."},{"key":"1_CR10","volume-title":"Business Dynamics: Systems Thinking and Modeling for a Complex World","author":"JD Sterman","year":"2000","unstructured":"Sterman, J.D.: Business Dynamics: Systems Thinking and Modeling for a Complex World. Irwin McGraw-Hill, Boston (2000)"}],"container-title":["Advances in Intelligent Systems and Computing","Complex Systems Design & Management Asia"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-02886-2_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,7]],"date-time":"2023-09-07T01:37:55Z","timestamp":1694050675000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-02886-2_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,17]]},"ISBN":["9783030028855","9783030028862"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-02886-2_1","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2018,11,17]]},"assertion":[{"value":"CSD&M","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Complex Systems Design & Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Paris","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 December 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 December 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"csdm2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.2018.csdm-asia.net\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}