. Omg, OMG Business Process Model and Notation (BPMN), Object Management Group, OMG Standard, 2013.

O. Allani and S. A. Ghannouchi, Verification of BPMN 2.0 Process Models: An Event Log-based Approach, Procedia Computer Science, vol.100, pp.1064-1070, 2016.

, BIMP -The Business Process Simulator, BIMP, 2019.

J. C. Aguilar, K. Hasebe, M. Mazzara, and K. Kato, Model Checking of BPMN Models for Reconfigurable Workflows, CoRR, 2016.

A. P. Freitas and J. L. Pereira, Process simulation support in BPM tools: The case of BPMN, 2015.

A. Krishna, P. Poizat, and G. Salaün, VBPMN: Automated Verification of BPMN Processes, 13th International Conference on integrated Formal Methods, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01591665

A. Suchenia, P. Wisniewski, and A. Ligeza, Overview of Verification Tools for Business Process Models, Communication Papers of the 2017 Federated Conference on Computer Science and Information Systems, pp.295-302, 2017.

M. Autili, P. Inverardi, and P. Pelliccione, Graphical scenarios for specifying temporal properties: an automated approach, Automated Software Engineering, vol.14, issue.3, pp.293-340, 2007.

. Itu-t, International Telecommunication Union -Telecommunication Standardization Sector, 2011.

E. Gaudin and E. Brunel, Property Verification with MSC, SDL 2013: Model-Driven Dependability Engineering, pp.19-35, 2013.

. Omg, OMG Unified Modeling Language (UML), 2017.

&. Obp2 and . Obp2, , 2019.

L. , L. Roux, and C. Teodorov, Partially bounded context-aware verification, pp.532-548, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02434620

L. Lamport, Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers, 2002.

T. Babiak, M. K?etínský, V. ?ehák, and J. Strej?ek, Ltl to büchi automata translation: Fast and more deterministic, Tools and Algorithms for the Construction and Analysis of Systems, pp.95-109, 2012.