Author:
Allani Olfa,Ghannouchi Sonia Ayachi
Reference9 articles.
1. van der Aalst, W.M., De Beer, H.T., & van Dongen, B.F. (2005, October). Process mining and verification of properties: An approach based on temporal logic. In OTM Confederated International Conferences” On the Move to Meaningful Internet Systems” (pp. 130-147). Springer Berlin Heidelberg.
2. Börger, E., &Thalheim, B. (2008). A method for verifiable and validatable business process modeling. In Advances in Software Engineering (pp. 59-115). Springer Berlin Heidelberg.
3. Li, B., &Iijima, J. (2007, September). Architecture on a hybrid business process design and verification system. In 2007 International Conference on Wireless Communications, Networking and Mobile Computing (pp. 6199-6204). IEEE.
4. Shraideh, A. (2009). Analyse et optimisation d’un processus à partir d’un modèle BPMN dans une démarche globale de conception et de développement d’un processus métier: application à la dématérialisation de flux courrier du projet GOCD (PICOM) (Doctoral dissertation, Ecole Centrale de Lille).
5. Dijkman, R.M., Dumas, M., &Ouyang, C. (2007). Formal semantics and analysis of BPMN process models using Petri nets. Queensland University of Technology, Tech. Rep.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献