Автоматизація синтезу програмного коду вузла мережі Петрі для мови моделювання POSES++

Наталія Володимирівна Богушевська

Анотація


Проведений огляд систем моделювання мережами Петрі, показані переваги використання в якості зовнішнього середовища моделювання CASE-пакету системи POSES++. Визначена формальна модель вузла, задана контекстно-вільна граматика для синтезу програмного коду вузлу. Розглянуто приклад застосування правил граматики.


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


Петрі; CASE-пакет; POSES++; правила граматики

Повний текст:

PDF


DOI: https://doi.org/10.20535/1560-8956.18.2011.33467

Посилання

  • Поки немає зовнішніх посилань.