@conference {10.1007/978-3-030-02886-2_1,
	title = {A Net-Based Formal Framework for Causal Loop Diagrams},
	booktitle = {Complex Systems Design {\&} Management Asia},
	year = {2019},
	note = {<p>n/a</p>
},
	pages = {1{\textendash}12},
	publisher = {Springer International Publishing},
	organization = {Springer International Publishing},
	address = {Cham},
	abstract = {<p>Causal Loop Diagrams (CLDs) are a modeling tool employed in Business Dynamics. Such a diagram consists of many tightly coupled loops to capture dynamic behavior of systems. Intuitive operational semantics, describing how changes are propagated among the loops, provide a basis for model animation or manual inspection. They are, however, not precise enough to enable automated property checking. This paper proposes and defines a net-based formal framework, showing true concurrency, so that automated analysis is made possible.</p>
},
	isbn = {978-3-030-02886-2},
	attachments = {https://haslab.uminho.pt/sites/default/files/mgc/files/csdm2018.pdf},
	author = {Cledou, Guillermina and Shin Nakajima},
	editor = {Cardin, Michel Alexandre and Hastings, Daniel and Jackson, Peter and Krob, Daniel and Lui, Pao Chuen and Schmitt, Gerhard}
}