Чугаенко А. В. Об алгоритме перевода документов MSC в сети Петри / А. В. Чугаенко, С. Л. Крывый // Пробл. програмув. - 2008. - N 2/3 (спец. вип.). - С. 587-594. - Библиогр.: 6 назв. - рус.
Описан алгоритм перевода документа MSC в трассово эквивалентную ему сеть Петри. Полученную таким образом сеть Петри можно использовать для анализа свойств системы, представленной исходным документом MSC. Алгоритм является частью инструментария для автоматического анализа и верификации документов MSC.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"