УДК 004.942

АНАЛІЗ МОЖЛИВОСТЕЙ КЛАСІВ МЕРЕЖ ПЕТРІ 
ДЛЯ МОДЕЛЮВАННЯ МОДУЛІВ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ СКЛАДНИХ СИСТЕМ

О. П. Доренський
Кіровоградський національний технічний університет 
dorensky@ukr.net

Роботу присвячено аналізу можливостей апарату автоматних мереж Петрі та їх класів (розширень) – мережі з перевіркою на нуль, пріоритетні мережі, Е-мережі, мережі Мерліна, часові мережі – для формального представлення моделей та моделювання програмних модулів складних систем.

Dorensky O. P. Analysis of opportunities class Petri nets for modelling software modules complex systems. The article presented analysis capabilities Petri nets and Petri nets classes for the formal description of models and modeling software modules. The analysis of Petri nets classes, namely nets test at zero, priority nets, E- nets, Petri nets by Merlin, time Petri nets.

Ключові слова: МОДЕЛЮВАННЯ, КЛАСИ МЕРЕЖ ПЕТРІ, ПРОГРАМНИЙ МОДУЛЬ, ПРОГРАМНЕ ЗАБЕЗПЕЧЕННЯ.
Keywords: MODELING, CLASSES OF PETRI NETS, SOFTWARE MODULES.

Бурхливий розвиток інформаційних технологій, активне розроблення й впровадження складних систем зумовлюють необхідність створення відповідного програмного забезпечення (ПЗ), яке, зазвичай, є модульним, характеризується складністю. Тож постає задача моделювання, що як метод представлення й пізнання об’єктів, процесів, явищ предметної області, в тому числі програмних модулів, забезпечує синтез структури моделей, відображення основних характеристик, імітації функціонування, здійснення аналізу тощо. Ключовим при цьому є вибір засобу формалізації й моделювання.
Досить часто задля означеного використовується апарат мереж Петрі, який має численні інтерпретації й модифікації [1-3]. Таким чином, мета роботи полягає у проведенні аналізу можливостей мереж Петрі та їх класів (розширень) для формального представлення моделей, моделювання програмних модулів складних систем. 
Як засіб представлення й моделювання модулів ПЗ систем, апарат мереж Петрі володіє рядом істотних переваг, зокрема, наявність ряду класів мереж, орієнтованих на моделювання складних систем з врахуванням таких факторів, як пріоритетність процесів (мережі з перевіркою на нуль, пріоритетні мережі), спільного відображення структури керування й потоків даних (Е-мережі), часові параметри подій (мережі Мерліна, часові мережі).
Отже, широкий спектр класів (розширень) мереж Петрі з різноманітними властивостями, дають можливість їх для моделювання різних аспектів програмних модулів. Отримані результати аналізу класів мереж Петрі – мережі з перевіркою на нуль, пріоритетної мережі, Е-мережі, мережі Мерліна, часової мережі – дозволили обґрунтовано обрати для моделювання засіб представлення моделей програмних модулів складних систем, який дозволяє наочно відтворити їх властивості, імітації функціонування, сформувати процедуру аналізу, семантичної перевірки. При цьому моделювання здійснюється шляхом програмної реалізації формальної моделі однією з сучасних мов програмування, або, наприклад, засобами існуючих математичних пакетів. 

Література

1.	Кузьмук В. В. Класифікація мереж Петрі та приклади їх застосування для розв’язання прикладних задач [Текст] / В. В. Кузьмук, О. О. Супруненко. // Восточно-Европейский журнал передовых технологий. – 2011. – № 2/9(50). – С. 40-43.
2.	Питерсон Дж. Теория сетей Петри и моделирование систем: Пер. с англ. / Джеймс Питерсон. – М.: Мир, 1984. – 264 с.
3.	Зайцев Д. А. Универсальная сеть Петри / Д. А. Зайцев // Кибернетика и системный анализ. – № 4. – 2012. – С. 24-39.