| Summary: | 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.
|
|---|