Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net

High-level Petri net has been used by more and more researchers for its high-level formalism. In order to facilitate the interoperability between different researchers and tools, we propose a novel logical approach, which is based on description logic and epsiv-connection, to formalizing and analyzing high-level Petri net (HLPN). First, HLPN-ontology (high-level Petri net ontology) is partitioned into algebra-ontology and structure-ontology for reuse and easy analysis. Then, algebra-ontology and structure-ontology are combined with epsiv-connection to express HLPN-Ontology in a compact way. The result of money changing service experiment, which is represented with high-level Petri net, shows that it is more efficient to analyze high-level Petri net with the approach discussed in this paper. The effect of using description logic and epsiv-connection is better than that of using Petri net markup language (PNML), which is an XML-based interchange format but it is not machine-processable.