A Python toolkit for dealing with Petri nets over ontological graphs
This work provides a tool for researchers and practitioners in fields like knowledge representation and process modeling to incorporate ontological knowledge into Petri nets, but it is incremental as it builds on existing Petri net and ontology concepts.
The authors tackled the problem of integrating domain knowledge into Petri net models by introducing Petri nets over ontological graphs, and they developed a Python toolkit that allows users to define the structure and dynamics of such nets, enabling the addition of semantic relations from OWL 2 ontologies to enhance reasoning and control processes.
We present theoretical rudiments of Petri nets over ontological graphs as well as the designed and implemented Python toolkit for dealing with such nets. In Petri nets over ontological graphs, the domain knowledge is enclosed in a form of ontologies. In this way, some valuable knowledge (especially in terms of semantic relations) can be added to model reasoning and control processes by means of Petri nets. In the implemented approach, ontological graphs are obtained from ontologies built in accordance with the OWL 2 Web Ontology Language. The implemented tool enables the users to define the structure and dynamics of Petri nets over ontological graphs.