' Протоколами называют наборы правил (алгоритмы) для связи между абонентами вычислительной или телекоммуникационной системы. Протоколы управляют форматом, временными интервалами, последовательностью работы и контролем ошибок при передаче сообщений. В соответствии с принятой моделью связи открытых систем OSI (Open System Interconnection)
существует семь уровней взаимодействия между абонентами системы - от физического (нижний уровень) до прикладного (верхний уровень). На каждом из уровней должен действовать свой протокол. На практике обычно используется всего три уровня протоколов:
- низший аппаратный (протоколы Ethernet, Token Ring, FDDI);
- средний уровень (протоколы NetBIOS, IPX/SPX, TCP/IP);.
- высший уровень (протоколы SMB, NCP).
Реальные протоколы представляют собой достаточно сложные алгоритмы, и поэтому возникает необходимость моделирования их работы с целью определения рабочих характеристик или обнаружения ошибок. Сеть Петри, моделирующая работу реального протокола, обычно содержит сотни узлов-позиций и переходов [11]. В данной книге мы рассмотрим значительно упрощенную модель протокола передачи данных, которая, тем не менее, отражает существенные черты его работы [10].
Раскрашенная сеть Петри с временным механизмом, моделирующая работу протокола, приведена на рисунке 2.25.
