, IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) -Framework and Rules. IEEE Std, pp.1516-2010, 2010.

, ArchiMate 3.0.1 Specification. Open Group Standard, 2017.

, NATO Architecture Framework version 4.0. NATO Std. NAFv4, 2018.

F. Cornu, A. Garnier, and C. Audoly, Simulation of the efficiency of a system of drones in a mine warfare scenario, Undersea Defence Technology, pp.1-8, 2008.

F. Corradini, F. Fornari, A. Polini, B. Re, and F. Tiezzi, A formal approach to modeling and verification of business process collaborations, Sci. Comput. Program, vol.166, pp.35-70, 2018.

P. Dhaussy, F. Boniol, J. C. Roger, and L. Leroux, Improving model checking with context modelling, Adv. Softw. Eng, vol.2012, p.9, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00738735

A. Falcone, A. Garro, A. D'ambrogio, and A. Giglio, Engineering systems by combining BPMN and HLA-based distributed simulation, 2017 IEEE International Systems Engineering Symposium (ISSE), pp.1-6, 2017.

A. P. Freitas and J. L. Pereira, Process simulation support in BPM tools: the case of BPMN, 5th International Conference on Business Sustainability: Management, Technology and Learning for Individuals, 2015.

S. Gorecki, Y. Bouanan, G. Zacharewicz, and N. Perry, BPMN modeling for HLA based simulation and visualization, Proceedings of the Model-driven Approaches for Simulation Engineering Symposium, p.11, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01809559

G. Guizzardi and G. Wagner, Can BPMN be used for making simulation models, EOMAS 2011. LNBIP, vol.88, pp.100-115

, , 2011.

G. J. Holzmann, The model checker SPIN, IEEE Trans. Softw. Eng, vol.23, issue.5, pp.279-295, 1997.

A. Inselberg, Multidimensional detective, Proceedings of the 1997 IEEE Symposium on Information Visualization, 1997.

B. S. Onggo, Agent-based simulation model representation using BPMN. In: Formal Languages for Computer Simulation: Transdisciplinary Models and Applications, pp.378-400, 2014.

E. Pascalau, A. Giurca, and G. Wagner, Validating auction business processes using agent-based simulations, BPSC, vol.147, pp.95-109, 2009.

A. Sheth, From contemporary workflow process automation to adaptive and dynamic work activity coordination and collaboration, International Conference of Database and Expert Systems Applications, DEXA 1997, pp.24-27, 1997.