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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
\({\mathscr {N}}\) is a set of Natural Number and \({\mathscr {N}}_{0}\) includes 0.
- 2.
This is an infinite capacity net, in which each place can hold any number of tokens.
- 3.
This makes it difficult to define matrix-equations for CLN.
- 4.
References
Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge (1999)
Cledou, G., Barbosa, L.: An ontology for licensing public transport services. In: Proceedings of the 9th ICEGOV, pp. 230–239 (2016)
Jackson, D., Wing, J.: Lightweight formal methods. IEEE Comput. 29(4), 21–22 (1996)
Jensen, K.: Coloured Petri Net. Springer, Heidelberg (1996)
Leveson, N.G.: Engineering a Safer World: Systems Thinking Applied to Safety. The MIT Press, Cambridge (2011)
Murata, T.: Petri nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)
Nakajima, S.: Model checking of energy consumption behavior. In: Proceedings of the 1st CSD&M-Asia, pp. 3–14 (2014)
Perrow, C.: Normal Accidents: Living with High-Risk Technologies. Princeton University Press, Princeton (1999)
Shepherd, S.P.: A review of system dynamics models applied in transportation. Transp. B Transp. Dyn. 2(2), 83–105 (2014)
Sterman, J.D.: Business Dynamics: Systems Thinking and Modeling for a Complex World. Irwin McGraw-Hill, Boston (2000)
Acknowledgements
The first author conducted the reported work at NII under NII-Internship Program 2017-1 call. This work is a result of project SmartEGOV/NORTE-01-0145-FEDER-000037, supported by Norte Portugal Regional Operational Programme (NORTE 2020), under the PORTUGAL 2020 Partnership Agreement, through the European Regional Development Fund (EFDR). Additional support is provided by the PT-FLAD Chair on Smart Cities & Smart Governance. The second author is partially supported by JSPS KAKENHI Grant Number JP17H01726.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Cledou, G., Nakajima, S. (2019). A Net-Based Formal Framework for Causal Loop Diagrams. In: Cardin, M., Hastings, D., Jackson, P., Krob, D., Lui, P., Schmitt, G. (eds) Complex Systems Design & Management Asia. CSD&M 2018. Advances in Intelligent Systems and Computing, vol 878. Springer, Cham. https://doi.org/10.1007/978-3-030-02886-2_1
Download citation
DOI: https://doi.org/10.1007/978-3-030-02886-2_1
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-02885-5
Online ISBN: 978-3-030-02886-2
eBook Packages: EngineeringEngineering (R0)