Описана реализация алгоритма перевода набора диаграмм MSC (документа MSC) в бисимуляционно-эквивалентную ему сеть Петри. Полученную таким образом сеть можно использовать для анализа свойств исходного документа MSC. Данный алгоритм есть частью системы анализа и верификации документов MSC.

Індекс рубрикатора НБУВ: З810.2

Рубрики:

Теорія мереж

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 

---

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"