Affiliation:
1. Technical University of Kosice
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.
Publisher
Trans Tech Publications, Ltd.
Reference5 articles.
1. Carl Adam Petri and Wolfgang Reisig (2008): Petri net. Scholarpedia, 3(4): 6477.
2. Vitali Volovoi: Modeling of System Reliability Using Petri Nets with Aging Tokens, Reliability Engineering and System Safety Vol. 84, 2004 149–161.
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.
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.
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.