C. A. Ellis and G. J. Nutt, Modeling and enactment of workflow systems, In: Application and Theory of Petri Nets, pp.1-16, 1993.
DOI : 10.1007/3-540-56863-8_36

W. M. Van-der-aalst, THE APPLICATION OF PETRI NETS TO WORKFLOW MANAGEMENT, Journal of Circuits, Systems and Computers, vol.08, issue.01, pp.21-66, 1998.
DOI : 10.1142/S0218126698000043

A. P. Barros, A. H. Ter-hofstede, and H. A. Proper, Essential principles for workflow modelling effectiveness, In: PACIS, p.15, 1997.

A. Koschmider and A. Oberweis, Ontology based business process description, pp.321-333, 2005.

M. Fellmann, O. Thomas, and B. Busch, A Query-Driven Approach for Checking the Semantic Correctness of Ontology-Based Process Representations, In: BIS, vol.27, issue.10, pp.62-73, 2011.
DOI : 10.1007/978-3-642-05085-5_4

W. M. Van-der-aalst, Verification of workflow nets, In: ICATPN, pp.407-426, 1997.

H. Verbeek, T. Basten, and W. Van-der-aalst, Diagnosing Workflow Processes using Woflan, The Computer Journal, vol.44, issue.4, pp.246-279, 1999.
DOI : 10.1093/comjnl/44.4.246
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.21.3485

H. H. Bi and J. L. Zhao, Applying Propositional Logic to Workflow Verification, Information Technology and Management, vol.5, issue.3/4, pp.3-4, 2004.
DOI : 10.1023/B:ITEM.0000031583.16306.0f

J. Wainer, Logic representation of processes in work activity coordination, Proceedings of the 2000 ACM symposium on Applied computing , SAC '00, pp.203-209, 2000.
DOI : 10.1145/335603.335745

W. Sadiq, . Maria, and E. Orlowska, Analyzing process models using graph reduction techniques, Information Systems, vol.25, issue.2, pp.117-134, 2000.
DOI : 10.1016/S0306-4379(00)00012-0
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.92.737

S. Lu, A. J. Bernstein, and P. M. Lewis, Automatic workflow verification and generation, Theoretical Computer Science, vol.353, issue.1-3, pp.1-3, 2006.
DOI : 10.1016/j.tcs.2005.10.035
URL : http://doi.org/10.1016/j.tcs.2005.10.035

L. T. Ly, S. Rinderle, and P. Dadam, Integration and verification of semantic constraints in adaptive process management systems, Data & Knowledge Engineering, vol.64, issue.1, pp.3-23, 2008.
DOI : 10.1016/j.datak.2007.06.007

A. Kumar, W. Yao, C. H. Chu, and Z. Li, Ensuring Compliance with Semantic Constraints in Process Adaptation with Rule-Based Event Processing, In: RuleML, vol.23, pp.50-65, 2010.
DOI : 10.1007/s00450-009-0057-9

L. T. Ly, S. Rinderle-ma, K. Göser, and P. Dadam, On enabling integrated process compliance with semantic constraints in process management systems, Information Systems Frontiers, vol.5, issue.3???4, pp.195-219, 2012.
DOI : 10.1007/s10796-009-9185-9

O. Thomas and M. Fellmann, Semantic Process Modeling ??? Design and Implementation of an Ontology-based Representation of Business Processes, Business & Information Systems Engineering, vol.5, issue.6, pp.438-451, 2009.
DOI : 10.1007/s12599-009-0078-8

I. Weber, J. Hoffmann, and J. Mendling, Beyond soundness: on the verification of semantic business process models, Distributed and Parallel Databases, vol.2, issue.1, pp.271-343, 2010.
DOI : 10.1007/s10619-010-7060-9
URL : https://hal.archives-ouvertes.fr/inria-00491102

D. Gasevic and V. Devedzic, Interoperable Petri net models via ontology, International Journal of Web Engineering and Technology, vol.3, issue.4, pp.374-396, 2007.
DOI : 10.1504/IJWET.2007.014439

A. Sebastian, T. Tudorache, N. F. Noy, and M. A. Musen, Customizable workflow support for collaborative ontology development, 4th International Workshop on Semantic Web Enabled Software Engineering (SWESE) at ISWC, 2008.

T. H. Nguyen and N. Le-thanh, An Ontology-Enabled Approach for Modelling Business Processes, Beyond Databases, Architectures, and Structures of Communications in Computer and Information Science, pp.139-147, 2014.
DOI : 10.1007/978-3-319-06932-6_14
URL : https://hal.archives-ouvertes.fr/hal-01018376

L. M. Kristensen, S. Christensen, and K. Jensen, The practitioner's guide to coloured Petri nets, International Journal on Software Tools for Technology Transfer (STTT), vol.2, issue.2, pp.98-132, 1998.
DOI : 10.1007/s100090050021

O. Corby, Corese/kgram