Skip to main content
SpringerLink
Log in

Petri Networks for Mechanized Longwall System Simulation

  • Conference paper
  • First Online:
Book cover Advanced, Contemporary Control

Part of the book series: Advances in Intelligent Systems and Computing ((AISC,volume 1196))

  • 1228 Accesses

Abstract

Modern longwall system is a complex electromechanical plant. It consists of many devices that operate together sequentially or in parallel. Petri net – consisting of places and transitions can be used as a convenient modeling language for the description of distributed and concurrent systems. The paper presents subnetwork models of the main longwall system component as shearer movement and powered roof support movement. Petri net offers a graphical notation for these discrete and time-dependent processes. One of the main advantages of the Petri networks is their similarity to the SFC language (GRAFCET) defined in the IEC 61131-3 standard, which facilitates the synthesis of discrete control algorithms implemented with PLCs. Models in the form of the timed Petri network can (with the use of appropriate simulation software) assess the performance of the modelled longwall complex, search for ways to increase this performance, and help with the verification of correct operation of control systems.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 169.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Hruz, B., Zhou, M.C.: Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools. Springer Verlag, London (2007)

    MATH  Google Scholar 

  2. D’Souza, K.A., Khator, S.K.: A survey of petri net applications in modeling controls for automated manufacturing systems. Comput. Ind. 5(1), 5–16 (1994)

    Article  Google Scholar 

  3. Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)

    Google Scholar 

  4. Saha, B., Bandyopadhay, S.: Representation and analysis of petrinets via the matrix state equation approach. Int. J. Electr. 65(1), 1–7 (1988)

    Article  Google Scholar 

  5. Staines, A.: Ordinary petri net matrices. In: International Conference AMCSE (2018)

    Google Scholar 

  6. Reisig, W.: Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies. Springer Verlag, Heidelberg (2013)

    Google Scholar 

  7. Zhou, M.C., Venkatesh, K.: Modeling. Simulation and control of flexible manufacturing systems. A Petri Net Approach. World Scientific, Singapore (1998)

    Google Scholar 

  8. Brzychczy, E., Trzcionkowska, A.: Process-oriented approach for analysis of sensor data from longwall monitoring system. In: Intelligent Systems in Production Engineering and Maintenance. Springer (2019)

    Google Scholar 

  9. Brzychczy, E., Trzcionkowska, A.: Practical aspects of event logs creation for industrial process modelling. Multidisciplinary Aspects Prod. Eng. 1(1), 77–83 (2018)

    Article  Google Scholar 

  10. Brzychczy, E., Trzcionkowska, A.: New possibilities for process analysis in an underground mine. ZN Pol. Śl. nr 1987. Organizacja i zarządzanie z 111, Gliwice (2017)

    Google Scholar 

  11. Thong, W.J., Ameedeen, M.A.: A survey of petri net tools. In: Sulaiman, H., Othman, M., Othman,, M., Rahim, Y., Pee, N. (eds) Advanced Computer and Communication Engineering Technology. Lecture Notes in Electrical Engineering, vol. 315. Springer (2015)

    Google Scholar 

  12. Bonet, P., LLad, C.M., Puigjaner, R.: PIPE v2.5: a petri net tool for performance modeling (2007)

    Google Scholar 

  13. Dingle, N.J., Knottenbelt, W.J., Suto, T.: PIPE2: a tool for the performance evaluation of generalised stochastic petri nets. ACM SIGMETRICS Perform. Eval. Rev. 36, 34–39 (2000)

    Article  Google Scholar 

  14. EN 61131-3, Programmable controllers - Part 3: Programming languages (IEC 61131-3:2013), International Standard, Brussels (2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Silesian University of Technology, Ul. Akademicka 2, 44-100, Gliwice, Poland

    Adam Heyduk

Authors
  1. Adam Heyduk
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Adam Heyduk .

Editor information

Editors and Affiliations

  1. Institute of Automatic Control, Lodz University of Technology, Lodz, Poland

    Andrzej Bartoszewicz

  2. Institute of Automatic Control, Lodz University of Technology, Lodz, Poland

    Jacek Kabziński

  3. Systems Research Institute, Polish Academy of Sciences, Warsaw, Poland

    Janusz Kacprzyk

Rights and permissions

Reprints and permissions

Copyright information

© 2020 Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Heyduk, A. (2020). Petri Networks for Mechanized Longwall System Simulation. In: Bartoszewicz, A., Kabziński, J., Kacprzyk, J. (eds) Advanced, Contemporary Control. Advances in Intelligent Systems and Computing, vol 1196. Springer, Cham. https://doi.org/10.1007/978-3-030-50936-1_27

Download citation

Publish with us

Policies and ethics

Search

Navigation