Skip to main content
Log in

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

  • Original Article
  • Published:
International Journal of System Assurance Engineering and Management Aims and scope Submit manuscript

Abstract

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1
Fig. 2
Fig. 3
Fig. 4

Similar content being viewed by others

References

  • 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–122

    Article  Google Scholar 

  • Ammar HH, Huang YF, Liu RW (1987) Hierarchical models for systems reliability, maintainability and availability. IEEE Trans Circuit Syst 34:629–638

    Article  Google Scholar 

  • 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–331

    Article  Google Scholar 

  • 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

  • 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–143

  • Cox DR, Muller HD (1970) The theory of stochastic processes. William Clowes and Sons, London

    Google Scholar 

  • Hass PJ, Shedler GS (1989) Stochastic petrinet representation of discrete event simulation. IEEE Trans Softw Eng SE-15:381–393

    Article  Google Scholar 

  • Holiday MA, Venon MK (1987) A generalised time petri net model for performance analysis. IEEE Trans Softw Eng 13:1297–1310

    Article  Google Scholar 

  • 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–42

  • Leveson NG, Stolzy JL (1987) Safety analysis using petrinets. IEEE Trans Softw Eng 13:386–397

    Article  Google Scholar 

  • Molloy MK (1982) Performance analysis using stochastic petrinets. IEEE Trans Comput C-31:913–917

    Article  Google Scholar 

  • Ramamoorthy CV, Ho GS (1980) Performance evaluation of asynchronous concurrent systems using petrinets. IEEE Trans Softw Eng SE-6:440–449

    Article  MathSciNet  Google Scholar 

  • Srinivasan VS, Jafari MA (1993) Fault detection/monitoring using timed petri nets. IEEE Trans Syst Man Cybern 23:1155–1162

    Article  Google Scholar 

  • 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–192

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Anil Rana.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Verma, A.K., Srividya, A. & Rana, A. Use of stochastic petrinets in modeling of safety device inspection interval problem. Int J Syst Assur Eng Manag 6, 165–171 (2015). https://doi.org/10.1007/s13198-014-0264-z

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s13198-014-0264-z

Keywords

Navigation