Window workflow foundation. Version 4.5 Available from http ,
Essential principles for workflow modelling effectiveness, In: PACIS, p.15, 1997. ,
Ontology based business process description, pp.321-333, 2005. ,
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
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
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
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
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
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
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
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
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
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
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
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
Customizable workflow support for collaborative ontology development, 4th International Workshop on Semantic Web Enabled Software Engineering (SWESE) at ISWC, 2008. ,
An Ontology-Enabled Approach for Modelling Business Processes, 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
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
Modeling and enactment of work ow systems, In: Application and Theory of Petri Nets, pp.1-16, 1993. ,
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
Corese/kgram ,