Skip to main content
SpringerLink
Log in

Application of Petri nets for systems modelling and analysis

  • Application Article
  • Published:
OPSEARCH Aims and scope Submit manuscript

Abstract

Petri nets are powerful graphical and mathematical modelling tool for describing and studying various types of system. Petri nets can be used not only to express the static behaviours of logic operation such as logical relations between system components, but also to study the dynamic behaviours such as operating sequence, workflow, maintenance process, failure occurrence and concurrent activities of the system Petri net model has been developed for LHD motor-overheating problem. Petri nets have been used to identify minimum cut sets finding, marking transfer, firing sequence, reachability tree and dynamic behaviour of machine failure. A model is formulated for fault detection and isolation.

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

Access this article

Log in via an institution

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

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11

Similar content being viewed by others

References

  1. David, R., Alla, H.: Petri nets for modeling of dynamic systems- a survey. Automatica 30(2), 175–202 (1994)

    Article  Google Scholar 

  2. Samanta, B., Samanta, M., Das, M., Sarkar, B.: Modelling and analysis of a system based on symbolic representation of logic. J. Reliab. Safety. 23, 18–32(No3), (2004).

    Google Scholar 

  3. Samanta, B., Sarkar, B., Mukherjee, S.K.: Modeling and analysis of HEMM engine failure with Petri nets. Ind. Eng. J. 34, 9–20(No4),(2005).

    Google Scholar 

  4. Yang, S.K., Liu, T.S.: Failure analysis for airbag inflator by Petri Nets. Qual. Reliab. Eng. Int. 13, 139–151 (1997)

    Article  Google Scholar 

  5. Yang, S.K., Liu, T.S.: A Petri Nets approach to early failure detection and isolation for preventive maintenance. Qual Reliab Eng Int 14, 319–330 (1998)

    Article  Google Scholar 

  6. Yang, S.K., Liu, T.S.: Implementation of Petri Nets using a field-programmable gate array. Qual. Reliab. Eng. Int. 16, 99–116 (2000)

    Article  Google Scholar 

  7. Malhotra, M., Trivedi, K.S.: Dependability modeling using Petri nets. IEEE Trans Reliab 44(3), 428–440 (1995)

    Article  Google Scholar 

  8. Murata, T.: Petri nets: properties, analysis and applications. Proc IEEE 77(4), 541–580 (1989)

    Article  Google Scholar 

  9. Hura, G.S., Atwood, J.W.: The use of Petri nets to analyze coherent fault trees. IEEE Trans. Reliab. 37(5), 469–473 (1988)

    Article  Google Scholar 

  10. Fussell, J.B., Vesely, W.E.: A methodology for obtaining cut sets from fault trees. Trans. Am. Nucl. Soc. 15, 262–263 (1972)

    Google Scholar 

  11. Samanta, B., Sarkar, B., Mukherjee, S.K.: Reliability assessment of hydraulic shovel system using fault trees. Min. Technol. Sec-A, Trans. Inst. Min. Metall.\ Aus IMM 111, 129–142 (2002)

    Google Scholar 

  12. Fussell, J.B., Henry, E.B., Marshall, N.H.: MOCUS- a computer program to obtain minimal cut sets from fault tree. ANCR 1156. Aerojet Nuclear Company, Idaho Falla (1974)

    Book  Google Scholar 

  13. Samanta, B., Sarkar, B., Mukherjee, S.K.: Reliability modelling and performance analyses of a LHD system in mining. Trans. S. Afr. Inst. Min. Metall. 104(no-1), 1–8 (2004)

    Google Scholar 

  14. IEC 50:191: International Electrotechnical Vocabulary(IEV), Chap,191, Dependability and quality of service. International Electrotechnical Commission, Geneva, (1990).

  15. Samanta, B., Sarkar, B., Mukherjee, S.K.: Some aspects of failure analysis of mining machinery. Indian Min Eng Jr. 39(8), 34–36 (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. H.B. Institute of Technology & Mining, Raniganj-713347, Burdwan, West Bengal, India

    Bimal Samanta

  2. Production Engineering Department, Jadavpur University, Kolkata-32, Kolkata, India

    Bijan Sarkar

Authors
  1. Bimal Samanta
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bijan Sarkar
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bimal Samanta.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Samanta, B., Sarkar, B. Application of Petri nets for systems modelling and analysis. OPSEARCH 49, 334–347 (2012). https://doi.org/10.1007/s12597-012-0083-4

Download citation

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12597-012-0083-4

Keywords

Search

Navigation