K. Base, Available: http://comp.utm.my/lab/our-service/knowledge-base, 2013.

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

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

A. Yurchyshyna, An ontology based approach for modelling the process of conformity checking in construction

I. Dissertation and . Laboratory, [5] Petri net, 2009.

D. V. Ga?evi? and V. B. Deved?i?, Reusing Petri Nets Through the Semantic Web, The Semantic Web, pp.284-298, 2004.
DOI : 10.1007/978-3-540-25956-5_20

D. V. Ga?evi? and V. B. Deved?i?, 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. Koschmider and A. Oberweis, Ontology based business process description, Proc. of the CAiSE´05 WORKSHOPS, pp.321-333, 2005.

F. Zhang, Z. M. Ma, and S. Ribaric, Representation of Petri net with OWL DL ontology, 2011 Eighth International Conference on Fuzzy Systems and Knowledge Discovery (FSKD), pp.1396-1400, 2011.
DOI : 10.1109/FSKD.2011.6019803

K. R. Bouzidi, B. Fies, C. Faron-zucker, A. Zarli, and N. Le-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
URL : https://hal.archives-ouvertes.fr/hal-01185091

S. Kerrigan and K. H. Law, Logic-based regulation complianceassistance, Pro. of 9th International Conference on Artificial Intelligence and Law, pp.126-135, 2003.

A. Nazarenko, A. Guisse, F. Levy, N. Omrane, and S. Szulman, Integrating Written Policies in Business Rule Management Systems, Rule-Based Reasoning, Programming, and Applications Lecture Notes in Computer Science, pp.99-113, 2011.
DOI : 10.1007/978-3-540-88808-6_5
URL : https://hal.archives-ouvertes.fr/hal-00619263

C. Eastman, J. M. Lee, Y. S. Jeong, and J. K. Lee, Automatic rule-based checking of building designs Automation in Construction Plumber -A higher order data flow visual programming language in Lisp, pp.1011-1033, 2009.

W. M. Johnston, Advances in dataflow programming languages, ACM Computing Surveys, vol.36, issue.1, pp.1-34, 2004.
DOI : 10.1145/1013208.1013209

T. H. Nguyen and N. Le-thanh, Representation of coloured workflow nets with OWL DL ontology, Proc. Second International workshop``workshop`` Rencontres scientifiques UNS-UD'' (RUNSUD'2013), Vietnam, pp.29-41, 2013.

T. H. Nguyen and N. Le-thanh, Representation of RDF-Oriented Composition with OWL DL Ontology, 2013 IEEE/WIC/ACM International Joint Conferences on Web Intelligence (WI) and Intelligent Agent Technologies (IAT), pp.147-150, 2013.
DOI : 10.1109/WI-IAT.2013.170
URL : https://hal.archives-ouvertes.fr/hal-00904335

. Owl-web-ontology-language-overview, Available: http://www.w3.org/TR/owl-features/ [24] Emergency Lighting Design Guide, 2013.