Перегляд за автором "Чугаенко, А.В."

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

  • Исследование свойств документов MSC с помощью преобразования их в сети Петри 
    Крывый, С.Л.; Чугаенко, А.В.; Матвеева, Л.Е. (Кибернетика и системный анализ, 2009)
    Розглянуто остаточний варіант алгоритму трансляції документів з мови MSC-2000 у мережі Петрі, що подійно еквівалентні до них. Вхідний документ може використовувати довільні елементи мови MSC-2000, але значення елементів у ...
  • О алгоритме перевода документов msc в сети Петри 
    Чугаенко, А.В.; Крывый, С.Л. (2008)
    Описывается алгоритм перевода документа MSC в трассово эквивалентную ему сеть Петри. Полученная таким образом сеть Петри может использоваться для анализа свойств системы, представленной исходным документом MSC. Алгоритм ...
  • Формальные методы анализа дискретных систем с использованием языка спецификаций 
    Крывый, С.Л.; Чугаенко, А.В. (Кибернетика и системный анализ, 2009)
    Описано реалізацію алгоритму переведення набору діаграм MSC (документа MSC) в подійно еквівалентну йому мережу Петрі, наведено доказ коректності зазначеного алгоритму. Мережа, що отримана таким чином, може бути використана ...