Modeling of colored Petri nets using semantic Web technologies
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-l...
| Main Authors: | , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Penza State University Publishing House
2022-04-01
|
| Series: | Известия высших учебных заведений. Поволжский регион:Технические науки |
| Subjects: |
| _version_ | 1818466639799123968 |
|---|---|
| author | V.Yu. Kaev V.N. Dubinin A.V. Dubinin L.P. Klimkina |
| author_facet | V.Yu. Kaev V.N. Dubinin A.V. Dubinin L.P. Klimkina |
| author_sort | V.Yu. Kaev |
| collection | DOAJ |
| description | 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. |
| first_indexed | 2024-04-13T21:00:41Z |
| format | Article |
| id | doaj.art-21f65484479b400fb8c3b65f78170880 |
| institution | Directory Open Access Journal |
| issn | 2072-3059 |
| language | English |
| last_indexed | 2024-04-13T21:00:41Z |
| publishDate | 2022-04-01 |
| publisher | Penza State University Publishing House |
| record_format | Article |
| series | Известия высших учебных заведений. Поволжский регион:Технические науки |
| spelling | doaj.art-21f65484479b400fb8c3b65f781708802022-12-22T02:30:09ZengPenza State University Publishing HouseИзвестия высших учебных заведений. Поволжский регион:Технические науки2072-30592022-04-01110.21685/2072-3059-2022-1-6Modeling of colored Petri nets using semantic Web technologiesV.Yu. Kaev0V.N. Dubinin1A.V. Dubinin2L.P. Klimkina3Penza State UniversityPenza State UniversityPenza State UniversityPenza State Agricultural UniversityBackground. 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.colored petri netsmodelingontologysemantic websparqlsoftwareontonetdistributed systemsdata and knowledge processing |
| spellingShingle | V.Yu. Kaev V.N. Dubinin A.V. Dubinin L.P. Klimkina Modeling of colored Petri nets using semantic Web technologies Известия высших учебных заведений. Поволжский регион:Технические науки colored petri nets modeling ontology semantic web sparql software ontonet distributed systems data and knowledge processing |
| title | Modeling of colored Petri nets using semantic Web technologies |
| title_full | Modeling of colored Petri nets using semantic Web technologies |
| title_fullStr | Modeling of colored Petri nets using semantic Web technologies |
| title_full_unstemmed | Modeling of colored Petri nets using semantic Web technologies |
| title_short | Modeling of colored Petri nets using semantic Web technologies |
| title_sort | modeling of colored petri nets using semantic web technologies |
| topic | colored petri nets modeling ontology semantic web sparql software ontonet distributed systems data and knowledge processing |
| work_keys_str_mv | AT vyukaev modelingofcoloredpetrinetsusingsemanticwebtechnologies AT vndubinin modelingofcoloredpetrinetsusingsemanticwebtechnologies AT avdubinin modelingofcoloredpetrinetsusingsemanticwebtechnologies AT lpklimkina modelingofcoloredpetrinetsusingsemanticwebtechnologies |