Loughborough University
Leicestershire, UK
LE11 3TU
+44 (0)1509 263171
Loughborough University

Loughborough University Institutional Repository

Please use this identifier to cite or link to this item: https://dspace.lboro.ac.uk/2134/26016

Title: Automated generation of a Petri net model: application to an end of life manufacturing process
Authors: Latsou, Christina
Dunnett, Sarah J.
Jackson, Lisa M.
Issue Date: 2017
Publisher: © CRC Press
Citation: LATSOU, C., DUNNETT, S.J. and JACKSON, L.M., 2017. Automated generation of a Petri net model: application to an end of life manufacturing process. IN: Cepin, M. and Bris, R. (eds). Safety and Reliability. Theory and Applications: Proceedings of the 27th European Safety and Reliability Conference (ESREL 2017), Portoroz, Slovenia, 18-22 June 2017. Leiden, The Netherlands: CRC Press, pp.2265-2274.
Abstract: As the complexity of engineering systems and processes increases, determining their optimal performance also becomes increasingly complex. There are various reliability techniques available to model performance, for example fault trees, simulation etc., but generating the models can become a significant task that is cumbersome, error-prone and tedious. This can result in significant resources being devoted to the generation of the models and there is much room for error. Hence over the years work has been undertaken into automatically generating reliability models. Such an approach enables the detection of the most critical components and design errors at an early design stage, supporting alternative designs and systems. The aim of the research described in this paper is the automatic generation of a Petri Net model for a given system or process. The Petri Net approach enables complex systems and processes to be modelled using a modular approach. The methodology of the automated Petri Net generation outlined in this work is to extract the information required for the model from the system description in a form used by industry, such as a UML Activity Diagram, into a database using XML transformations. An algorithm is then applied to generate the Petri Net incidence matrices of the necessary nets, which is the mathematical representation of the model. The algorithm builds the nets up in a modular fashion enabling changes to be made to the overall net in a cost effective way hence allowing various designs to be easily assessed. In this work the procedure will be demonstrated by its application to an end of life manufacturing process.
Description: This is an Accepted Manuscript of a paper published by CRC Press in Safety and Reliability. Theory and Applications on 25 May 2017, available online: https://www.crcpress.com/Safety-and-Reliability-Theory-and-Applications/Cepin-Bris/p/book/9781138629370.
Sponsor: The research reported in this paper aligns to the work being researched as part of the EPSRC grant EP/K014137/1.
Version: Accepted for publication
URI: https://dspace.lboro.ac.uk/2134/26016
Publisher Link: https://www.crcpress.com/Safety-and-Reliability-Theory-and-Applications/Cepin-Bris/p/book/9781138629370
ISBN: 9781138629370
Appears in Collections:Conference Papers and Presentations (Aeronautical and Automotive Engineering)

Files associated with this item:

File Description SizeFormat
esrel_2017_final.pdfAccepted version341.17 kBAdobe PDFView/Open


SFX Query

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.