Модифіковані мережі Петрі (Petri netze) для формування паралельних процесів у системах управління

Authors

  • Валерий Валентинович Кузьмук Черкасский национальный университет имени Богдана Хмельницкого Бульв. Шевченко, 79, г. Черкассы, Украина, 18006, Ukraine
  • Оксана Александровна Супруненко Черкасский национальный университет имени Богдана Хмельницкого Бульв. Шевченко, 79, г. Черкассы, Украина, 18006, Ukraine

DOI:

https://doi.org/10.15587/1729-4061.2010.5770

Keywords:

Concurrent processes, control systems, the model of a software system that control Petri net

Abstract

The problems of detecting errors in the design of complex control systems. Offered as a reference model for verification of a software system using a model based on control of Petri nets

Author Biographies

Валерий Валентинович Кузьмук, Черкасский национальный университет имени Богдана Хмельницкого Бульв. Шевченко, 79, г. Черкассы, Украина, 18006

Доктор технических наук, профессор

Заведующий кафедрой программного обеспечения автоматизированных систем

Оксана Александровна Супруненко, Черкасский национальный университет имени Богдана Хмельницкого Бульв. Шевченко, 79, г. Черкассы, Украина, 18006

Кандидат технических наук, доцент кафедры программного обеспечения автоматизированных систем

References

  1. Кузьмук В.В., Супруненко О.О. Модифицированные сети Петри и устройства моделирования параллельных процессов: Монография. – К.: Маклаут, 2010. – 260 с.
  2. Карпов Ю.Г. Model Checking. Верификация параллельных и распределённых программных систем. – СПб.: БХВ-Петербург, 2010. – 560 с.
  3. Petri C.A. Kommunikatoin mit Automaten. – Bonn: Institut für Instrumentelle Mathematik, 1962. – 89 S.
  4. W. Reisig. Petrinetze. Vieveg+Teubner Verlag, Wiesbaden GmBH, 2010, - 247S.
  5. Бройнль Томас. Паралельне програмування: Початковий курс: / Пер. з нім. В.А. Святного. – К.: Вища школа, 1997. – 358 с.
  6. Касьянов В.Н., Евстигнеев В.А. Графы в программировании: обработка, визуализация, применение. – СПб: БВХ - Петербург, 2003. – 1104 с.

Published

2010-12-01

How to Cite

Кузьмук, В. В., & Супруненко, О. А. (2010). Модифіковані мережі Петрі (Petri netze) для формування паралельних процесів у системах управління. Eastern-European Journal of Enterprise Technologies, 6(8(48), 50–53. https://doi.org/10.15587/1729-4061.2010.5770

Issue

Section

Information and controlling system