Loughborough University
esrel_2017_final.pdf (341.17 kB)

Automated generation of a Petri net model: application to an end of life manufacturing process

Download (341.17 kB)
conference contribution
posted on 2017-08-10, 14:07 authored by Christina Latsou, Sarah DunnettSarah Dunnett, Lisa JacksonLisa Jackson
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.


The research reported in this paper aligns to the work being researched as part of the EPSRC grant EP/K014137/1.



  • Aeronautical, Automotive, Chemical and Materials Engineering


  • Aeronautical and Automotive Engineering

Published in

European Safety and Reliability Conference


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.


© CRC Press


  • AM (Accepted Manuscript)

Publisher statement

This work is made available according to the conditions of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) licence. Full details of this licence are available at: https://creativecommons.org/licenses/by-nc-nd/4.0/

Publication date



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.




  • en


Portoroz, Slovenia

Usage metrics

    Loughborough Publications


    Ref. manager