Modelling Maintenance and Renewal in Petri Nets

Article Preview

Abstract:

Abstract. In this contribution we are dealing with simulation techniques for efficient use of computing of the schedule of the process of maintenance and renewal. Maintenance and renewal process is modelled on the basis of Petri nets. Thanks to this approach we can simulate the process of improving the maintenance in order to optimize key criteria of renewal and maintenance. The proposed solution is demonstrated on two illustrative examples.

You might also be interested in these eBooks

Info:

Periodical:

Pages:

282-286

Citation:

Online since:

January 2013

Authors:

Export:

Price:

[1] Carl Adam Petri and Wolfgang Reisig (2008): Petri net. Scholarpedia, 3(4): 6477.

DOI: 10.4249/scholarpedia.6477

Google Scholar

[2] Vitali Volovoi: Modeling of System Reliability Using Petri Nets with Aging Tokens, Reliability Engineering and System Safety Vol. 84, 2004 149–161.

DOI: 10.1016/j.ress.2003.10.013

Google Scholar

[3] Zineb Simeu-Abazi n, Alali Alhouaij Ahmad: Optimisation of distributed maintenance: Modelling an dapplication to the multi-factory production, Reliability Engineering and System Safety 96 (2011) 1564–1575.

DOI: 10.1016/j.ress.2011.05.011

Google Scholar

[4] Hrúz B., Mrafko L.: Modelovanie a riadenie diskrétnych udalostných systémov s využitím Petriho sietí a iných nástrojov. 1. vyd. Bratislava : Vydavateľstvo STU, 2003. 297 s. ISBN 80-227-1883-1.

Google Scholar

[5] Philippe Darondeau, Stephane Demri, Roland Meyer and Christophe Morvan: Petri Net Reachability graphs: Decidability status of first-order properties, Logical Methods in Computer Science Vol. 8(4: 9)2012, p.1–28 www. lmcs-online. org.

DOI: 10.2168/lmcs-8(4:9)2012

Google Scholar