Petri Networks for Mechanized Longwall System Simulation

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


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.


Petri networks Longwall system Performance simulation 


  1. 1.
    Hruz, B., Zhou, M.C.: Modeling and Control of Discrete-event Dynamic Systems with Petri Nets and Other Tools. Springer Verlag, London (2007)zbMATHGoogle Scholar
  2. 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)CrossRefGoogle Scholar
  3. 3.
    Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs (1981)Google Scholar
  4. 4.
    Saha, B., Bandyopadhay, S.: Representation and analysis of petrinets via the matrix state equation approach. Int. J. Electr. 65(1), 1–7 (1988)CrossRefGoogle Scholar
  5. 5.
    Staines, A.: Ordinary petri net matrices. In: International Conference AMCSE (2018)Google Scholar
  6. 6.
    Reisig, W.: Understanding Petri Nets Modeling Techniques, Analysis Methods, Case Studies. Springer Verlag, Heidelberg (2013)Google Scholar
  7. 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. 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. 9.
    Brzychczy, E., Trzcionkowska, A.: Practical aspects of event logs creation for industrial process modelling. Multidisciplinary Aspects Prod. Eng. 1(1), 77–83 (2018)CrossRefGoogle Scholar
  10. 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. 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. 12.
    Bonet, P., LLad, C.M., Puigjaner, R.: PIPE v2.5: a petri net tool for performance modeling (2007)Google Scholar
  13. 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)CrossRefGoogle Scholar
  14. 14.
    EN 61131-3, Programmable controllers - Part 3: Programming languages (IEC 61131-3:2013), International Standard, Brussels (2013)Google Scholar

Copyright information

© Springer Nature Switzerland AG 2020

Authors and Affiliations

  1. 1.Silesian University of TechnologyGliwicePoland

Personalised recommendations