<?xml version="1.0" encoding="UTF-8"?><xml><records><record><source-app name="Biblio" version="6.x">Drupal-Biblio</source-app><ref-type>47</ref-type><contributors><authors><author><style face="normal" font="default" size="100%">Cledou, Guillermina</style></author><author><style face="normal" font="default" size="100%">Shin Nakajima</style></author></authors><secondary-authors><author><style face="normal" font="default" size="100%">Cardin, Michel Alexandre</style></author><author><style face="normal" font="default" size="100%">Hastings, Daniel</style></author><author><style face="normal" font="default" size="100%">Jackson, Peter</style></author><author><style face="normal" font="default" size="100%">Krob, Daniel</style></author><author><style face="normal" font="default" size="100%">Lui, Pao Chuen</style></author><author><style face="normal" font="default" size="100%">Schmitt, Gerhard</style></author></secondary-authors></contributors><titles><title><style face="normal" font="default" size="100%">A Net-Based Formal Framework for Causal Loop Diagrams</style></title><secondary-title><style face="normal" font="default" size="100%">Complex Systems Design {&amp;} Management Asia</style></secondary-title></titles><dates><year><style  face="normal" font="default" size="100%">2019</style></year></dates><urls><related-urls><url><style face="normal" font="default" size="100%">https://haslab.uminho.pt/sites/default/files/mgc/files/csdm2018.pdf</style></url></related-urls></urls><publisher><style face="normal" font="default" size="100%">Springer International Publishing</style></publisher><pub-location><style face="normal" font="default" size="100%">Cham</style></pub-location><pages><style face="normal" font="default" size="100%">1–12</style></pages><isbn><style face="normal" font="default" size="100%">978-3-030-02886-2</style></isbn><language><style face="normal" font="default" size="100%">eng</style></language><abstract><style face="normal" font="default" size="100%">&lt;p&gt;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.&lt;/p&gt;
</style></abstract><notes><style face="normal" font="default" size="100%">&lt;p&gt;n/a&lt;/p&gt;
</style></notes></record></records></xml>