Implementation of the semantic web in business process modeling using Petri nets

Nowadays, Petri net models have been used as a very promising modelling tool for systems and it presents randomness, concurrency, and synchronisation. Many researchers give attention to Petri nets because of its wide utilization. Therefore, reusability, sharing, and standardization are three functions that Petri nets must have. To actualized this concept, Semantic Web technologies can be implemented. One of the Semantic Web technologies is Ontology. In this paper, a formal approach for representing a business process in Petri nets into Ontologies is proposed. Firstly, a business process in Petri nets is presented. Then, formal definitions of Petri nets and OWL DL ontologies are introduced. Next step, converting a business process in Petri nets into OWL DL ontologies. Finally, using SPARQL Query in OWL DL ontologies to make sure that the relations of the business process in Petri nets are the same as the relations of the business process in OWL DL ontologies.