Use of stochastic petrinets in modeling of safety device inspection interval problem

  • Ajit Kumar Verma
  • A. Srividya
  • Anil RanaEmail author
Original Article


The paper discusses the issue related to simplification of maintenance process modeling which has got a direct relation with the appropriateness of the maintenance decisions and the resulting reliability of the concerned equipment or system. For years the maintenance engineers on ground have lamented the complexity of the mechanical system and the difficulties in trying to model its failure processes using mathematical models. As a result, in spite of many serious attempts by the researchers, the maintenance engineers on ground still follow the ‘thumb rule’ or equipment manufacturer’s recommendations for maintenance. Stochastic petrinets established as a useful tool for graphical modeling for analysis of communication protocols can be fruitfully used to simplify this modeling process and allow even the field level engineers to analyse their systems and make the right maintenance decisions. Encouraged by the results of use of stochastic petrinets for modeling the wear/failure problem of stern tube bearing of ships, the author in this paper demonstrates the use of stochastic petrinet tool for modeling and analysis of a safety device inspection problem. The safety device is installed to prevent catastrophic failure of an equipment. Failure of the safety device is hidden and only reveals itself during an inspection. Steady state probabilities evaluated using simulation based on stochastic petrinet tool are compared with the results evaluated analytically.


Stochastic petrinet Inspection interval Weibull process Safe failure Catastrophic failure 


  1. Ajmone Marsan M, Conte G, Balbo G (1984) A class of generalised petrinets for the performance evaluation of multiprocessor systems. ACM Trans Comput Syst 2:93–122CrossRefGoogle Scholar
  2. Ammar HH, Huang YF, Liu RW (1987) Hierarchical models for systems reliability, maintainability and availability. IEEE Trans Circuit Syst 34:629–638CrossRefGoogle Scholar
  3. Billington J, Wheeler GR, Wilbur-Ham MC (1988) PROTEAN: a high level petrinet tool for the specification and verification of communication protocols. IEEE Trans Softw Eng 14:301–331CrossRefGoogle Scholar
  4. A Chaillet, M Combacau ,M Courvoisier (1993) Specification of FMS real time control based on petrinets with objects and process failure monitoring. In: Proceedings IECON-93, Hawaii 1993, pp 144–149 Google Scholar
  5. Chiola GA (1985) Software package for the analysis of generalized stochastic petri net models. In: Proceedings of international workshop on timed petri nets. Torino Italy, Jul 1–3, 1985, pp 136–143Google Scholar
  6. Cox DR, Muller HD (1970) The theory of stochastic processes. William Clowes and Sons, LondonGoogle Scholar
  7. Hass PJ, Shedler GS (1989) Stochastic petrinet representation of discrete event simulation. IEEE Trans Softw Eng SE-15:381–393CrossRefGoogle Scholar
  8. Holiday MA, Venon MK (1987) A generalised time petri net model for performance analysis. IEEE Trans Softw Eng 13:1297–1310CrossRefGoogle Scholar
  9. Kumar G, Gandhi OP, Jain V (2012) “Reliability and availability analysis of mechanical systems using stochastic petrinet modeling based on decomposition approach”. Int J Reliab Qual Saf Eng 19(1):3–42Google Scholar
  10. Leveson NG, Stolzy JL (1987) Safety analysis using petrinets. IEEE Trans Softw Eng 13:386–397CrossRefGoogle Scholar
  11. Molloy MK (1982) Performance analysis using stochastic petrinets. IEEE Trans Comput C-31:913–917CrossRefGoogle Scholar
  12. Ramamoorthy CV, Ho GS (1980) Performance evaluation of asynchronous concurrent systems using petrinets. IEEE Trans Softw Eng SE-6:440–449CrossRefMathSciNetGoogle Scholar
  13. Srinivasan VS, Jafari MA (1993) Fault detection/monitoring using timed petri nets. IEEE Trans Syst Man Cybern 23:1155–1162CrossRefGoogle Scholar
  14. Verma AK, Srividya A, Rana A (2011) Use of petrinets for solution of a stern gland optimal inspection interval problem. Int J Syst Assur Eng Manag 2:183–192CrossRefGoogle Scholar

Copyright information

© The Society for Reliability Engineering, Quality and Operations Management (SREQOM), India and The Division of Operation and Maintenance, Lulea University of Technology, Sweden 2014

Authors and Affiliations

  1. 1.Stord/Haugesund University CollegeHaugesundNorway
  2. 2.Fiji Maritime AcademyFiji National UniversityLautokaFiji

Personalised recommendations