Наукова електронна бібліотека
періодичних видань НАН України

Перегляд Проблеми програмування, 2008, № 2-3 за автором "Чугаенко, А.В."

Репозиторій DSpace/Manakin

Перегляд Проблеми програмування, 2008, № 2-3 за автором "Чугаенко, А.В."

Сортувати за: Порядок: Результатів:

  • О алгоритме перевода документов msc в сети Петри 
    Чугаенко, А.В.; Крывый, С.Л. (2008)
    Описывается алгоритм перевода документа MSC в трассово эквивалентную ему сеть Петри. Полученная таким образом сеть Петри может использоваться для анализа свойств системы, представленной исходным документом MSC. Алгоритм ...

Пошук


Розширений пошук

Перегляд

Мій обліковий запис