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

Автор(и)

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

DOI:

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

Ключові слова:

Паралельні процеси, системи керування, модель програмної системи, управляючі мережі Петрі

Анотація

У статті розглядаються проблеми виявлення помилок при розробці складних систем керування. Пропонується в якості опорної моделі при верифікації програмної системи використовувати модель на основі управля­ючих мереж Петрі

Біографії авторів

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

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

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

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

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

Посилання

  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 с.

##submission.downloads##

Опубліковано

2010-12-01

Як цитувати

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

Номер

Том 6 № 8(48) (2010): Інформаційно-керуючі системи

Розділ

Інформаційно-керуючі системи

Ліцензія

Авторське право (c) 2014 Валерий Валентинович Кузьмук, Оксана Александровна Супруненко

Creative Commons License

Ця робота ліцензується відповідно до Creative Commons Attribution 4.0 International License.

Закріплення та умови передачі авторських прав (ідентифікація авторства) здійснюється у Ліцензійному договорі. Зокрема, автори залишають за собою право на авторство свого рукопису та передають журналу право першої публікації цієї роботи на умовах ліцензії Creative Commons CC BY. При цьому вони мають право укладати самостійно додаткові угоди, що стосуються неексклюзивного поширення роботи у тому вигляді, в якому вона була опублікована цим журналом, але за умови збереження посилання на першу публікацію статті в цьому журналі.

Ліцензійний договір – це документ, в якому автор гарантує, що володіє усіма авторськими правами на твір (рукопис, статтю, тощо).
Автори, підписуючи Ліцензійний договір з ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР», мають усі права на подальше використання свого твору за умови посилання на наше видання, в якому твір опублікований. Відповідно до умов Ліцензійного договору, Видавець ПП «ТЕХНОЛОГІЧНИЙ ЦЕНТР» не забирає ваші авторські права та отримує від авторів дозвіл на використання та розповсюдження публікації через світові наукові ресурси (власні електронні ресурси, наукометричні бази даних, репозитарії, бібліотеки тощо).
За відсутності підписаного Ліцензійного договору або за відсутністю вказаних в цьому договорі ідентифікаторів, що дають змогу ідентифікувати особу автора, редакція не має права працювати з рукописом.
Важливо пам’ятати, що існує і інший тип угоди між авторами та видавцями – коли авторські права передаються від авторів до видавця. В такому разі автори втрачають права власності на свій твір та не можуть його використовувати в будь-який спосіб.