A Net-Based Formal Framework for Causal Loop Diagrams
- Citation:
- Cledou G, Nakajima S. 2019. A Net-Based Formal Framework for Causal Loop Diagrams. Complex Systems Design {&} Management Asia. :1–12.
Abstract:
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.
Notes:
n/a
Citation Key:
10.1007/978-3-030-02886-2_1
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.