Title :
Integrating PNML with OWL for Petri nets
Author :
Bing-Xian, Ma ; Ying-Lei, Xu
Author_Institution :
Sch. of Inf. Sci. & Eng., Univ. of Jinan, Jinan, China
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.
Keywords :
Petri nets; knowledge representation languages; mathematics computing; semantic Web; Petri net markup language; Web ontology language; automatic operation; semantic Web; Educational institutions; Finance; Information analysis; Information science; Logic; Markup languages; OWL; Ontologies; Petri nets; Semantic Web; OWL; PNML; petri net; semantic web;
Conference_Titel :
Computer Science and Information Technology, 2009. ICCSIT 2009. 2nd IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-4519-6
Electronic_ISBN :
978-1-4244-4520-2
DOI :
10.1109/ICCSIT.2009.5234711
