Integrating PNML with OWL for Petri nets

To model and analyze dynamic behaviors relationships on the semantic web with Petri net, especially for automatically getting their Petri nets system, it is necessary to describe Petri net with semantic specification for automatic operation. In this paper, the method to describe Petri nets with Petri net markup language (PNML) in combination with the Web Ontology Language (OWL) is discussed. A Petri net structure is described with PNML and place elements have their semantic specification with OWL. Automatic operation of Petri nets (e.g. sharing composition) could be achieved smoothly with their PNML and OWL specification.