Нестеренко Б. Б. Эквивалентное представление моделей сложных дискретных систем с помощью алгебры процессов / Б. Б. Нестеренко, М. А. Новотарский // Электрон. моделирование. - 2008. - 30, № 1. - С. 3-18. - Библиогр.: 7 назв. - рус.Рассмотрена алгебра процессов, ориентированная на описание параллельных структур, функционирующих с использованием реальной рабочей нагрузки. Определены основные понятия поведенческой эквивалентности моделей, представленных маркированными системами с переходами. Дано определение и изложены основные свойства строгого взаимного подобия моделей. На основании полученных свойств разработаны прямой и ускоренный алгоритмы определения строгого взаимного подобия. Індекс рубрикатора НБУВ: З813.14
Рубрики:
Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ
![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|