Вводится понятие параметрических временных сетей Петри, которые обобщают временные сети Петри. В таких сетях на переходы наложены параметрические ограничения, а параметры представляют собой символические константы с неизвестными фиксированными значениями. Предложен алгоритм анализа временного поведения систем реального времени, использующий язык темпоральной логики TCTL и безопасная параметрическая временная сеть Петри.
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"