Abstract

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.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call