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

Abstract

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