TY - GEN
T1 - Petri Networks for Mechanized Longwall System Simulation
AU - Heyduk, Adam
N1 - Publisher Copyright:
© 2020, Springer Nature Switzerland AG.
PY - 2020
Y1 - 2020
N2 - 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.
AB - 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.
KW - Longwall system
KW - Performance simulation
KW - Petri networks
UR - https://www.scopus.com/pages/publications/85088211029
U2 - 10.1007/978-3-030-50936-1_27
DO - 10.1007/978-3-030-50936-1_27
M3 - Conference contribution
AN - SCOPUS:85088211029
SN - 9783030509354
T3 - Advances in Intelligent Systems and Computing
SP - 307
EP - 318
BT - Advanced, Contemporary Control - Proceedings of KKA 2020—The 20th Polish Control Conference, 2020
A2 - Bartoszewicz, Andrzej
A2 - Kabzinski, Jacek
A2 - Kacprzyk, Janusz
PB - Springer
T2 - 20th Polish Control Conference, PCC 2020
Y2 - 22 June 2020 through 24 June 2020
ER -