В работе представлены результаты исследования структурных и поведенческих особенностей D-расши-рения сетей Петри (DPN) [1], являющегося специфическим вариантом элементарных сетей Петри с ингибитор-ными дугами и петлевыми связями. Данное расширение было разработано для моделирования средств цифровой автоматики и ВТ с учетом особенностей их поведения. Показаны возможности использования структурных особенностей DPN-моделей для снижения их размерности (редукции). Вводится понятие поведенческой эквивалентности и его использование для определения правил эквивалентного замещения позиций и переходов в DPN. Рассмотрено влияние временных задержек в переходах на результаты эквивалентных замещений. Приведены примеры редукции DPN для реальных цифровых объектов.
展开▼
