Аннотация:
Рассматривается задача формального описания и моделирования локальных вычислительных сетей (ЛВС). Предлагается для решения этой задачи использовать математический аппарат ГЕРТ-сетей. Доказывается возможность использования ГЕРТ-сетей на примере описания и моделирования известных ЛВС. Предлагается модифицированный протокол доступа с резервированием времени. Производится сравнительный анализ и определяются области предпочтительности ЛВС с различными протоколами доступа.