B. Khalil-riad-bouzidi, C. Fies, A. Faron-zucker, N. Zarli, and . Thanh, Semantic Web Approach to Ease Regulation Compliance Checking in Construction Industry, Future Internet, vol.4, issue.4, pp.830-851, 2012.
DOI : 10.3390/fi4030830

C. Eastman, J. M. Lee, Y. S. Jeong, and J. K. Lee, Automatic rule-based checking of building designs, Automation in Construction, pp.1011-1033, 2009.

D. Ga?evi´ga?evi´c and V. Deved?i´deved?i´c, Reusing Petri Nets Through the Semantic Web, Lecture Notes in Computer Science, vol.3053, pp.284-298, 2004.
DOI : 10.1007/978-3-540-25956-5_20

D. Ga?evi´ga?evi´c 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

K. Jensen, Coloured Petri Nets Basic Concepts, Analysis Methods and Practical Use, EATCS monographs on Theoretical Computer Science, vol.1, 1997.

J. Baek-jørgensen, K. Bisgaard-lassen, M. P. Wil, and . 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

T. Nguyen and N. Le-thanh, Representation of Coloured Workflow Nets with OWL DL Ontoloty, Second International workshop " Rencontres scientifiques UNS-UD, pp.29-41, 2013.

A. Yurchyshyna, Modélisation Du Contrôle de Conformité en Construction: Une Approche Ontologique, Ph.D. Dissertation, 2009.

F. Zhang, Z. M. Ma, and S. Ribari´cribari´c, Representation of Petri net with OWL DL ontology, 2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD), 2011.
DOI : 10.1109/FSKD.2011.6019803