Матвеева Л. Е. Анализ сетей Петри с помощью инвариантов / Л. Е. Матвеева // Искусств. интеллект. - 2001. - № 3. - С. 243-250. - Библиогр.: 5 назв. - рус.Программная или аппаратная система представлена в виде модели посредством формальной спецификации с помощью сети Петри (СП). Полученный продукт описывает поведение и структуру данной системы, и может быть проанализирован, верифицирован, а также использован для установления требуемых свойств системы. Описано применение формализма СП к исследованию некоторых свойств телефонной системы, основанное на построении и анализе S- и Т-инвариантов. Індекс рубрикатора НБУВ: З810.21
Рубрики:
Шифр НБУВ: Ж15477 Пошук видання у каталогах НБУВ
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|