Верификафия протоколов Ethernet

Анотація

Выполнена верификация протоколов Ethernet, представленных сетями Петри. Использована естественная декомпозиция сети Петри на функциональные подсети, определяемая правилами построения модели. Инвариантность моделей, включающих произвольное число рабочих станций доказана на основе инвариантности модели отдельной рабочей станции, являющейся функциональной подсетью.