Предложен метод статической оценки времени выполнения алгоритма на произвольной архитектуре, основанный на представлении императивного алгоритма в виде эквивалентной сети Петри Маркова с предварительным выделением информационно зависимых операторов и использовании статистической информации о поступающих данных.
цифровая система, полумарковский процесс, сеть петри маркова, время выполнения