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.
You have full access to this open access chapter, Download conference paper PDF
Similar content being viewed by others
Keywords
1 Introduction
In the last decades, the manufacturing domain gained several benefits from the application of ontologies, such as the possibility to communicate in an unambiguous manner, the common terminology and semantic alignment, and an information infrastructure in which data are provided in a computational way [1]. The main applications of manufacturing domain ontologies were summarized by [2]. Among them, [3] introduces an interesting ontology-based framework to support integration of data in the Product Life Cycle (PLC). Beginning Of Life (BOL), Middle Of Life (MOL) and End Of Life (EOL) knowledge aiming to support the different phases of the PLC, from its conceiving and design to the disposal. As far as the design and production phases of a product are concerned, these use BOL knowledge (e.g. technical documentation, process/product requirements, etc.) to define the requirements specification in terms of activities and resources. However, process designing may need the employment of – quantitative or qualitative – analytics techniques that ensure the feasibility and reliability of the production process. Despite the ability to formally represent the elements of a domain (i.e. manufacturing process) and their inter-relations, ontologies themselves do not provide any kind of system behaviour analysis or simulation capabilities. In this regard, Petri Net is a general purpose graphical and mathematical modelling language that is used to describe a large variety of different systems [4]. PN formalism has clear semantics which unambiguously defines the structure and behaviour of each model, hence, forming the foundation for its formal analysis. It is based on very few primitives that allow the explicit description of both states and actions of the modelled system, which is moreover built upon true concurrency, instead of interleaving [5].
Generally, the development of a manufacturing model leverages modelling experience and logical deduction of the domain-specific elements from the real case to be represented. Such logical deduction can be also achieved through semantic reasoning, which is one of the pillar on which ontologies are based on [6]. Recently, ontology-based model transformation became a well-established approach adopted to generate and validate models according to a specific domain of analysis [7]. However, the transformation and mapping from domain abstract models (technology-independent) to technology-dependent models, such as PNs, is nowadays a crucial issues [8].
The paper is structured as follows: Sect. 2 presents the proposed 3-step approach of this research work. Section 3 introduces the ontologies design and their semantic alignment towards the achievement of a robust theoretical framework that allows ontology-driven instantiation of PN primitives. Semantics-based simulation and analysis of the inferred PN model is therefore described in Sect. 4.
2 Proposed Approach
The overall approach includes three main steps: (i) Semantic modelling and manufacturing data enrichment; (ii) Ontology-driven instantiation of PN models; (iii) PN-based simulation and analysis. Figure 1 shows the stepwise evolution of the information flow: from manufacturing data silos to PN-based model simulation and analysis reports by leveraging semantics. In particular, the application presented in this study deals with the use of data and information regarding an automated assembly station, with specific emphasis on the reliability of its components. The development of ontologies enables the enrichment of this data in a way that it is shareable and ubiquitously interpretable by machines. Thus, we propose a semantic framework built upon two ontological models, i.e. the so-called Automated Assembly Station Ontology (AASO) and the Petri Net Ontology for Reliability modelling (PNO4R). This will therefore drive the instantiation of OWLFootnote 1-like PN elements that resemble the design and production data semantically-enriched and stored in a KB.
Once the model is instantiated, state-of-the-art toolsFootnote 2 , Footnote 3 , Footnote 4 can be used to simulate the dynamic behaviour of the PN model and analyse the results, in a way that will yield maximum insight and help with decision-making.
3 Ontology Modelling
In this section, the structures of the above-mentioned AASO and PNO4R are described in terms of common OWL ontology modelling components, such as classes, object and data properties, along with an insight on inference rules.
3.1 Automated Assembly System Ontology
The Automated Assembly System Ontology (AASO) is a domain-specific ontology developed to gather and semantically-enrich the information regarding the presented case study, i.e. an assembly station. The overall ontological structure presented in Fig. 2 stems from an analysis of the available data regarding assembly operations, component failures and repair modes. The following classes have been, therefore, defined: Station, Component, Activity, FailureMode, RepairMode, SystemState. Activity refers to the operations that are performed by the Station while Component refers to all the parts that form the latter. Each Activity has a SystemState that may describe the system either before or after the occurrence of the Activity. FailureMode is the set of all the possible breakdowns that could take place, while RepairMode refers to the way such failures may be fixed. Eventually, CausesOfFailure includes the reasons that have generated a specific failure.
3.2 Petri Net Ontology
As far as the Petri Net Ontology (PNO) is concerned, among the various solutions proposed in literature, Gasevic and Devedzic [9] developed a UML Petri net ontology, called Core Petri net ontology considering both elements in common for all Petri net models and concepts that do not really exist in Petri net models to obtain more suitable synthetic concepts. Later on, the solution presented by Szymanski and colleagues [10] shows a PNO together with its upper ontology. Here, authors employed the Semantic Web Rules Language (SWRL) to express rules among primitives for instance to identify an active place (i.e. a place that contains a token) and an active transition (i.e. a transition that can fire).
This paper aims to use a hybrid approach, partly combining the research works mentioned above, in fact, here the structure of the so-called Core Petri net Ontology is extended with PN elements for Discrete Event Systems (DES) reliability modelling (Fig. 3), i.e. the PNO4R. SWRL-based rules are, then, exploited to automate the interpretation of PNO4R instances from the AASO ones.
Let us start from the introduction of the main elements: Place, Transition and Arc, Initial Marking, upon which each PN model is built. These have been defined as subclasses of the element Net despite [9] defines Net as a superclass of the PN element. Thus, according to the case study requirements, which will be introduced in the next section and stem from the use of Petri nets for reliability modelling and analysis, two subclasses of Place were identified: ComponentPlace and SystemPlace. ComponentPlace is a place at component level which can be either a FailureStateComponentPlace (if it represents the component in a failure state) or WorkingStateComponentState (if it represents the component when it is in available state). Conversely, SystemPlace includes places at system level, representing the various phases of the process.
Similarly, it is possible to further discern the Transition class into ComponentTransition and SystemTransition. ComponentTransition can be FailureComponentTransition or RepairComponentTransition, which characterizes respectively the breakdown event and the repairing activity. SystemTransition, instead, gathers transitions at system level describing the various activities of the system. The distinction of Component and System (Fig. 4) levels is due to the fact that the assembly process was discretized, then, different process phases were identified and modelled at higher level (system level). A set of components may, therefore, fail at each one of those phases and are modelled at a lower level (component level). For these reasons, the class called Arc is further specialised in four subclasses according to the elements that it connects. The first one is ComponentToSystemArc (i.e. the arc that connects the repair transition with the system place) and the second is SystemToComponentArc (i.e. the arc that connects the system place and the failure transition).
The third subclass is ComponentArc, which is further divided in PTComponentArc (i.e. arc linking a place representing the available component to a failure transition and arc linking place representing not available components to a repairing transition) and TPComponentArc (i.e. arc linking failure transitions to places representing not available components and arc linking repairing transition to places representing available components).
Then, SystemArc is similarly divided into PTSystemArc and TPSystemArc according to the connection at system level either from place to transition or from transition to place. Eventually, Token is the class meant to contain the tokens that the places could contain. However, the Marking class has been defined outside the Net class, and represents the set of all possible markings of the net. In particular, its subclass FailureMarking identifies the failing states of the systems.
3.3 Semantic Alignment
Generally speaking, an alignment between two ontologies “specifies a set of correspondences, and each correspondence models a bridge between a set of ontologies entities” [11]. Applying this definition to the present study means enabling the transformation of the elements of the AASO to the respective elements of the PNO4R. To this aim, the first step has been the introduction of a hybrid concept called Module (Fig. 5), which does not belong to neither the AASO nor the PNO4R. However, this modelling patter plays a crucial role in the alignment, since it is able to mediate between the AASO and PNO4R. In particular, the Module represents the behaviour of a component that may fail or be repaired in different ways and with a specific probability distribution.
The instantiation process of PNO4R individuals and their properties is driven by SWRL-based rules. Starting from instances of AASO it is possible to create a congruent number of instances belonging to the PNO4R. The following relations have to be, hence, added to the semantic models in order to univocally link the elements of the two domains and avoid misinterpretations. Here, System Level, refers to all the discrete assembly phases and the states of the modelled system before and after each phase, while Component Level refers to modules resembling components that may fail at a specific state of the system (Table 1).
Due to a limited pages number, the class inter-links mentioned above cannot further described. Nonetheless, their indispensable statement will be better understood with two examples presented in the next section (S1 and C1).
4 Ontology-Driven Manufacturing Model Instantiation and Analysis: Case Study
The purpose of this section is to describe an application case, whose modelling requirements and data have been extracted from to [12]. In the latter work the authors proposed computational experiments to explore the validity of two different techniques to decompose a system. In order to reach their goal, they tested their methodology by means of a Petri net model, which resembles a part of an automated assembly shop.
At this point in time it is noteworthy to mention that the construct http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl : makeOWLThing Footnote 5 plays a non-trivial role. This is indeed required to execute inference rules through the rule engine called Drools Footnote 6 that create a new element according to a deduction process based on existing OWL elements. Firstly, OWL knowledge and SWRL rules will be transferred to the SWRL engine. The latter uses a reasoner library in order to infer new axioms that will be eventually translated and loaded to actual the KB. The Instantiation of owl individuals of SystemTransition class resembling owl individuals of Activity (S1) is achieved by including the following rule in the ontology
Activity(?a) ^ ActivityHasDuration(?a,?d) ^ swrlx:makeOWLThing(?st,?a) → SystemTransition(?st) ^ SystemTransitionHasDuration(?st,?d) ^ ActivityIsCharacterizedBy(?a,?st)
This should be perceived as the backbone of the inferred PN model since most of the other modelling elements will be connected to those ones. Each OWL individual inferred through this rule is, therefore, related to SystemTransitionHasDuration, whose data property is inherited from the ActivityHasDuration, and then related to the Activity as well. Furthermore, here there is ActivityIsCharacterizedBy that has been defined as the inverse functional of SystemTransitionCharacterizes. This way, it is possible to connect instances belonging to the two different domain ontologies in a univocal manner.
The instantiation of individuals of the owl FailureComponentTransition inferred from the individuals of the owl class Module (C1) is achieved as follows. Each Module comprises of one FailureComponentTransition and one RepairComponentTransition. The former has a data property describing the λ, which is the inverse of the Mean Time Between Failures (MTBF). The SWRL rule, hence, aims to create the owl instance and make it inherit that property:
Module(?m) ^ Failure(?f) ^ ModuleCharacterizesFailure(?m,?f) ^ FailureHasMTBF(?f,?mtbf) ^ swrlx:makeOWLThing(?fct,?m) ^ swrlb:divide(?l, 1,?mtbf) → FailureComponentTransition(?fct) ^ FailureComponentTransitionHasLambda(?fct,?l) ^ ModuleIsComposedByFCT(?m,?fct) ^ FailureComponentTransitionCharacterizes(?fct,?f)
4.1 Simulation of the Inferred PN Model
Hereafter the data used for the simulation of the PN model. This consists of 8 System Transitions (ST), 13 System Places (SP), 16 Component Transitions (CT), 36 Component Places (CP). There is only one module linked to each SP, which means that only one component may fail in a specific phase of the process. The available values are, therefore, the processing time of each activity, the failure rate (λ), and the repair rate (µ) as it is shown in Table 2. Then, the initial marking of the PN has been set as all the components are available and the process is ready to start.
Generally speaking, there are two kind of simulations: continuous and discrete [13, 14]. Here we propose the evaluation of the average number of tokens in a place and the transition throughputs by simulating the inferred PN through GreatSPN simulator, which exploits the Monte Carlo Simulation technique. Given the fact that the net has been built in a way that each place can contain at most one token, this measure reflects the probability of having a token in that place. The simulation results have been obtained through a so-called Basic GSPN (no colours) simulation with the Solver GreatSPN Confidence Interval 95% - Approximation 20% - Set batch length max: 31000.
4.2 Semantics-Based Analysis of the Results
Two key assessments have been carried out on the simulation results: the probability that a failure state component place has a token and the throughputs of the system (given by the simulation tool). Beside their semantical enrichment and storage in the KB, this can be queried in order to obtain: (i) the probability that a failure occurs on a specific component (Fig. 6); and (ii) the overall system availability (Fig. 7).
5 Conclusions
The conceptualization of a modelling framework based on ontologies and Petri nets has been thoroughly described. Efforts were made to clarify the interpretation of manufacturing concepts in the PN domain and vice versa, thus, paving the way towards a methodological framework to be used for ontology-based model transformation, PN-based simulation, and reliability analysis of a manufacturing system. The core part of this research concerns the development of two different models: the Automatic Assembly System Ontology (AASO) and the Petri Net Ontology for Reliability modelling (PNO4R). The latter represents an attempt of extension of an existing Petri Net ontological model with elements of reliability modelling for discrete event systems. This enabled the PN-based representation of the automated assembly station knowledge for reliability assessment. The structure of the model and the operating principles were eventually outlined. Finally, the achievement of semantic interoperability between the AASO and PNO4R enabled the SWRL rules-based instantiation of all the PN elements resembling a simple assembly process along with its simulation and analysis, showing the potentialities of the proposed approach, beside its soundness.
Notes
- 1.
Web Ontology Language https://www.w3.org/OWL/.
- 2.
GreatSPN Tool http://www.di.unito.it/~greatspn/index.html.
- 3.
CPN Tools http://cpntools.org/.
- 4.
ORIS Tool http://www.oris-tool.org/.
- 5.
http://swrl.stanford.edu/ontologies/built-ins/3.3/swrlx.owl (last Access 2 February 2017).
- 6.
http://protegewiki.stanford.edu/wiki/DroolsTab (last Access 2 February 2017).
References
Schlenoff, C., Ivester, R., Libes, D., Denno, P., Szykman, S.: An Analysis of Existing Ontological Systems for Applications in Manufacturing and Healthcare. NIST (1999)
Negri, E., Fumagalli, L., Garetti, M.: Approach for the use of ontologies for KPI calculation in the manufacturing domain. In: Proceedings of the XX Summerschool of Industrial Mechanical Plants Francesco Turco, Napoli, Italy, 16–18 September 2015, pp. 30–36 (2015)
Kiritsis, D.: Closed-loop PLM for intelligent products in the era of the Internet of things. Comput. Des. 43, 479–501 (2011)
Desel, J., Reisig, W.: The concepts of Petri Nets. Softw. Syst. Model. 14(2), 669 (2015)
Jensen, K.: Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use, vol. 1, Springer, Heidelberg (2013)
Motik, B., Rosati, R.: Reconciling description logics and rules. J. ACM (JACM) 57(5), 30 (2010)
Roser, S., Bauer, B.: Ontology-based model transformation. In: Bruel, J.-M. (ed.) MODELS 2005. LNCS, vol. 3844, pp. 355–356. Springer, Heidelberg (2006). https://doi.org/10.1007/11663430_42
Silega, N., Noguera, M., Macias, D.: Ontology-based Transformation from CIM to PIM. IEEE Lat. Am. Trans. 14(9), 4156–4165 (2016)
Gasevic, D., Devedzic, V.: Interoperable Petri Net models via ontology. Int. J. Web Eng. Technol. 3(4), 374–396 (2007)
Szymański, K., Dobrowolski, G., Koźlak, J., Zygmunt, A.: A Proposition of knowledge management methodology for the purpose of reasoning with the use of an upper-ontology. Knowl. Creation Diffus. Utilization 8, 117–133 (2007)
Scharffe, F., Euzenat, J., Fensel, D.: Towards design patterns for ontology alignment. In: Proceedings of the 2008 ACM symposium on Applied computing, pp. 2321–2325. ACM, March 2008
Jeong, K.C., Kim, Y.D.: Performance analysis of assembly/disassembly systems with unreliable machines and random processing times. IIE Trans. 30(1), 41–53 (1997)
Balbo, G.: Introduction to generalized stochastic Petri Nets. In: Bernardo, M., Hillston, J. (eds.) SFM 2007. LNCS, vol. 4486, pp. 83–131. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-72522-0_3
Wang, J.: Petri Nets for dynamic event-driven system modeling. In: Fishwick, P. (ed.) Handbook of Dynamic System Modeling, pp. 1–17 (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 IFIP International Federation for Information Processing
About this paper
Cite this paper
Arena, D., Kiritsis, D. (2017). A Methodological Framework for Ontology-Driven Instantiation of Petri Net Manufacturing Process Models. In: Ríos, J., Bernard, A., Bouras, A., Foufou, S. (eds) Product Lifecycle Management and the Industry of the Future. PLM 2017. IFIP Advances in Information and Communication Technology, vol 517. Springer, Cham. https://doi.org/10.1007/978-3-319-72905-3_49
Download citation
DOI: https://doi.org/10.1007/978-3-319-72905-3_49
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-72904-6
Online ISBN: 978-3-319-72905-3
eBook Packages: Computer ScienceComputer Science (R0)