Modeling of colored Petri nets using semantic Web technologies

Abstract

Background. In connection with the widespread use of the Semantic Web concept, the issues of using formal models in the design of parallel, distributed and multi-agent systems based on the Semantic Web are of interest. The purpose of the work is to develop methods and tools for implementing high-level Petri nets based on ontologies, which can serve as a “bridge” to the building of systems of this class. Materials and methods. The research was carried out using an ontological approach to modeling complex systems, semantic Web technologies, the SPARQL language, as well as the provisions of the theory of high-level Petri nets. Results. In the course of the research, the following were developed: 1) an ontology of colored Petri nets, which describes both static and dynamic elements of the net model; 2) a method for interpreting colored Petri nets based on ontologies and the SPARQL language, which allows modeling the dynamics of the net model as a process of ontology change; 3) OntoNet software for distributed interpretation of colored Petri nets in the Semantic Web environment; 4) a net model of streaming event processing, which serves as a demonstration example for testing the tool. Conclusions. The proposed methods and tools for ontological modeling and interpretation of colored Petri nets can be used for rapid development, prototyping and implementation of distributed, parallel and multi-agent systems for processing events, data and knowledge in the context of the Semantic Web.

Keywords

• colored petri nets
• modeling
• ontology
• semantic web
• sparql
• software
• ontonet
• distributed systems
• data and knowledge processing