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

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

T. H. Nguyen and N. Le-thanh, Ensuring the Semantic Correctness of Workflow Processes: An Ontological Approach, Proceedings of 10th Workshop on Knowledge Engineering and Software Engineering (KESE10) co-located with 21st European Conference on Artificial Intelligence CEUR Workshop Proceedings, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01081339

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
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.9.2998

J. B. Jørgensen, K. B. Lassen, and W. M. Van-der-aalst, From task descriptions via colored Petri nets towards an implementation of a new electronic patient record workflow system, International Journal on Software Tools for Technology Transfer, vol.50, issue.1, pp.15-28, 2008.
DOI : 10.1007/s10009-007-0054-x

O. Corby, Corese/kgram. https://wimmics.inria.fr/corese 8. van der Aalst, W.M.P.: Verification of workflow nets, In: ICATPN, pp.407-426, 1997.

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

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

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

M. Hepp and D. Roman, An ontology framework for semantic business process management, pp.423-440, 2007.

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

K. Salimifard and M. Wright, Petri net-based modelling of workflow systems: An overview, European Journal of Operational Research, vol.134, issue.3, pp.664-676, 2001.
DOI : 10.1016/S0377-2217(00)00292-7

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.