Polazne pretpostavke ontologije Petri mreža zasnovane na formatu Petri mreža

Abstract

U radu su izložene osnovne smernice za pravljenje ontologije Petri mreža koja treba da omogući njihovo korišćenje na Sematičkom Web-u. Postojeća rešenja koja tretiraju opisivanja modela Petri mreža se bave definicijama formata, a osnovni cilj toga je da se dobije sintaksa kojom će razmenjivati modeli između različitih softverskih rešenja Petri mreža. Prva vrsta rešenja su definicije tekstualnih formata (DaNAMiCS) ili formata zasnovanih na XML-u (Renew) koji su specifični za određeni softver. Druga vrsta rešenja predlaže definiciju univerzalne sintakse za razmenu modela, a primeri su: Apstraktana notacija Petri mreža (definicija u BNF notaciji) i Petri Net Markup Language (XML definisan). Osnovni nedostatak ovih rešenja je što se u prvi plan ističe sintaksa, a zanemaruje se da ona služi za razmenu konceptualnog modela Petri mreža. Polazeći od pretpostavke da je sintaksa samo medijum za prenos semantike, u radu su analizirani osnovni koncepti i njihove veze, koji su opisani u postojećim formatima Petri mreža. Smernice dobijene za ontologiju na osnovu sprovedene analize su predstavljene pomoću UML modela.

This paper presents basic guidelines for building Petri net ontology, which should enable using Petri nets on the Semantic Web. Available Petri net model descriptions give format definitions. Their main objective is to provide the syntax for sharing Petri net models between different applications. Some of these applications are software-specific and provide either text-based format definitions (e.g., DaNAMiCS) or XML-based format definitions (e.g., Renew). Another kind of such applications proposes a universal syntax definition for model sharing, for example Abstract Petri net notation (BNF definition) and Petri Net Markup Language (XML definition). The main drawback of these solutions is their emphasis on syntax per se, ignoring the fact that syntax represents means for sharing semantics of Petri net models. Assuming that syntax is just a medium for model transportation, this paper considers the basic concepts and their relationships in existing Petri net formats. The ontology guidelines we present are based on an analysis of such formats and are represented using UML.