Skip to Main content Skip to Navigation
Conference papers

A Methodological Framework for Ontology-Driven Instantiation of Petri Net Manufacturing Process Models

Damiano Arena 1 Dimitris Kiritsis 1 
EPFL - Ecole Polytechnique Fédérale de Lausanne
Abstract : In the last decade, the interest and effort towards the use of ontology-based solutions for knowledge management has significantly increased. Ontologies have been used in manufacturing to provide a formal representation of the domain knowledge in a way that is machine-understandable. However, despite the ability to formally represent the elements of a domain and their relations, ontologies themselves do not provide any kind of simulation and systems behaviour analysis capabilities.Manufacturing system knowledge may be translated into specific executable models by exploiting experience and human logical deduction. This can be also achieved using ontologies and semantic reasoning.The framework presented in this work, therefore, aims to explore a W3C standard for inference rules, such as Semantic Web Rule Language (SWRL), and OWL ontology models to transform elements of a Knowledge-Base (KB) into Petri Net (PN) primitives. The combination of semantics and mathematical modelling techniques applied to the analysis of a simple automated assembly station highlights the existence of modelling patterns and the effectiveness of inference rules to automatically instantiate PN-based manufacturing system models.As results, the inference rules-driven instantiation of a semantically enriched PN model has two positive consequences: (i) the axioms upon which the manufacturing system ontology is built are easy-to-reuse; (ii) the semantics-based bridging of the analysed domains shows the possibility of further enriching the KB with both qualitative and quantitative assessment capabilities.
Document type :
Conference papers
Complete list of metadata

Cited literature [14 references]  Display  Hide  Download
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, April 11, 2018 - 4:50:46 PM
Last modification on : Wednesday, April 11, 2018 - 4:54:12 PM


Files produced by the author(s)


Distributed under a Creative Commons Attribution 4.0 International License



Damiano Arena, Dimitris Kiritsis. A Methodological Framework for Ontology-Driven Instantiation of Petri Net Manufacturing Process Models. 14th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2017, Seville, Spain. pp.557-567, ⟨10.1007/978-3-319-72905-3_49⟩. ⟨hal-01764206⟩



Record views


Files downloads