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
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
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
Corese/kgram ,
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
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
Diagnosing Workflow Processes using Woflan, The Computer Journal, vol.44, issue.4, pp.246-279, 1999. ,
DOI : 10.1093/comjnl/44.4.246
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
Ontology based business process description, pp.321-333, 2005. ,
Customizable workflow support for collaborative ontology development, 4th International Workshop on Semantic Web Enabled Software Engineering (SWESE) at ISWC, 2008. ,