The paper presents the Petri net ontology that should enable sharing Petri nets on the Semantic Web. Previous work on formal methods for representing Petri nets mainly defines tool-specific Petri net descriptions (i.e. metamodels) or formats for Petri net model interchange (i.e. syntax). However, such efforts do not provide a suitable model description for using Petri nets on the Semantic Web. This paper uses the Petri net UML model as a starting point for implementing the Petri net ontology. The UML model is then refined using the Protege ontology development tool and the Ontology UML profile. Resulting Petri net models are represented on the Semantic Web is using XML-based ontology representation languages, Resource Description Framework (RDF) and Web Ontology Language (OWL). We implemented a Petri net software tool as well as tools for the Petri net Semantic Web infrastructure.
展开▼
机译：本文介绍了培养的净本体，应该在语义网上开展分享Petri网。以前关于代表Petri网的正式方法的工作主要定义了Petri网络模型交换（即语法）的特定于工具的Petri网络描述（即元模型）或格式。然而，这种努力不提供在语义网上使用Petri网的合适的模型描述。本文使用Petri Net UML模型作为实现Petri Net本体的起点。然后使用Protege本体开发工具和本体UML配置文件来改进UML模型。由此产生的Petri网模型在语义Web上表示是使用基于XML的本体表示语言，资源描述框架（RDF）和Web本体语言（OWL）。我们实施了Petri网软件工具以及Petri Net语义Web基础架构的工具。
展开▼
