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

Автор(и)

  • Наталія Володимирівна Богушевська доцент кафедри АСОІУ факультету ІОТ НТУУ “КПІ”,

DOI:

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

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

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

Анотація

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

##submission.downloads##

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

2011-12-11