%0 Conference Paper
%B Complex Systems Design {&} Management Asia
%D 2019
%T A Net-Based Formal Framework for Causal Loop Diagrams
%A Cledou, Guillermina
%A Shin Nakajima
%E Cardin, Michel Alexandre
%E Hastings, Daniel
%E Jackson, Peter
%E Krob, Daniel
%E Lui, Pao Chuen
%E Schmitt, Gerhard
%C Cham
%I Springer International Publishing
%P 1–12
%X <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>
%Z <p>n/a</p>
%@ 978-3-030-02886-2
%> https://haslab.uminho.pt/sites/default/files/mgc/files/csdm2018.pdf