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

Damiano Arena 1 Dimitris Kiritsis 1
1 SCI-STI-DK ME Group
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 metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal.inria.fr/hal-01764206
Contributor : Hal Ifip <>
Submitted on : Wednesday, April 11, 2018 - 4:50:46 PM
Last modification on : Wednesday, April 11, 2018 - 4:54:12 PM

File

 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2020-01-01

Please log in to resquest access to the document

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

61