A Model of a Three-Phase Circuit Breaker Based on a Petri Net

O. Suprunenko, Y. Bederak

https://doi.org/10.15407/elmodel.48.04.003

Èlektron. model. 2026, 48(4):03-16

ABSTRACT

A Petri net is proposed for describing and modeling the operation of a circuit breaker rated up to 1000 V. A circuit breaker rated up to 1000 V is one of the most common electrical devices in the power industry. Its design is not overly complex, but it requires certain theoretical knowledge and practical skills. Petrie net theory allows us to consolidate all possible operating modes of a circuit breaker equipped with both electromagnetic and thermal release mechanisms. A model of a three-phase circuit breaker as a Petrie net has been developed, and all possible states and events in the operation of the circuit breaker have been described. The trajectories for all operating modes of circuit breakers are examined. A mathematical analysis of the ope­ration of the three-phase circuit breaker model based on a Petri net is conducted using the invariant method. It is proven that the circuit breaker model possesses the properties of liveliness, repeatability, boundedness, conservativeness, conflict-free operation, and full controllability, which indicates that the circuit breakerʼs operation is fully predictable in all operating modes (except for manual tripping).

Full text: PDF

KEYWORDS

three-phase circuit breaker, Petri net, invariant analysis.

REFERENCES

  1. Elements and devices of automation and control systems (2023). Comp.: Bezvesilʼna О.М., Tolochko Т.О. Kyiv: Igor Sikorsky Kyiv Polytechnic Institute. 332 p. URL: https://ela.ua/server/api/core/bitstreams/8289504b-8ecb-4e70-ad78-525e3a340eb9/content (date of access: 25.03.2025).
  2. Dorf Richard C., Bishop Robert H. (2010) Modern control systems. 12th Edition. Prentice Hall. 1104 p.
  3. Suprunenko О.О. (2013). Paradigms of simulation modeling in studying complex parallel systems. Eastern-European Journal of Enterprise Technologies. № 5/4 (65). P. 63-67. DOI: https://doi.org/10.15587/1729-4061.2013.18353.
  4. Velten K. (2010). Mathematical Modeling and Simulation: Introduction for Scientists and Engineers. Weinheim: Wiley-VCH-Verl. 348 p.
  5. Voloshko А.V., Bederak Ya.S. (2024). Presentation of switchgear cabinets with a voltage of 6 (10) kV as a state machine. Energy: economics, technologies, ecology. № 3. P. 61- 
    https://doi.org/10.20535/1813-5420.3.2024.314598
  6. Suprunenko O.O., Onyshchenko B.O., Grebenovych J.E. (2022) Analysis of hidden errors in the models of software systems based on Petri nets. Electronic Modeling, Vol. 44, N. 2, 38-50.
    https://doi.org/10.15407/emodel.44.02.038
  7. KlymenkoV. (2013). Electrical devices. Electromechanical switching, control and pro­tection equipment. General course: textbook. Kharkiv, Pub. house “Tochka”. 400 p.
  8. Lavrinenko Yu. M., Oliynyk P.V., Savchenko V.V. (2013). Automatic switches and pro­tective shutdown devices. technical specifications and selection rules. Educational reference book. Kyiv: NUBIP. 89 p.
  9. State Consumer Standard of Ukraine (2022). DSTU EN 60898-2:2022. Switches for pro­tection against overcurrents are automatic for household and similar purposes. Part 2. Automatic circuit breakers of alternating current and direct current. Kyiv: State Consumer Standard of Ukraine.
  10. Kuzmuk V.V., Suprunenko O.A. (2014). The means for the description of information flows in dynamic models of medical hardware-software systems. Theoretical and Applied Scien­ce. No. 7 (15). P. 11-18. 
    https://doi.org/10.15863/TAS.2015.03.23.26
  11. Reisig W. (2016). Understanding Petri Nets: Modeling Techniques, Analysis Methods, Case Studies. Springer: Berlin/Heidelberg, Germany. 230 p.
  12. Glomodza D.K. (2016). Application of the invariant method to the analysis of colored Petri nets with deadlocks. Bulletin of the National Technical University of Ukraine. Informatics, Management and Computing. № 64. P. 38-46. URL: https://ela.kpi.ua/server/api/core/ bitstreams/75545853-3e29-45a1-a0a8-888be6f3f26d/content (date of access: 05.07.2025).
  13. Suprunenko O., Onyshchenko B., Grebenovych J., Nedonosko P. (2023) Applying a Combined Approach to Modeling of Software Functioning. Lecture Notes on Data Engineering and Communications Technologies. Vol. 178. Springer, Cham, P. 30-48. 
    https://doi.org/10.1007/978-3-031-35467-0_3

Received 22.03.2026