Коммутатор локальной сети

Структурная схема коммутатора EtherSwitch, предложенного фирмой Kalpana, представлена на рисунке.Для анализа сети и ее условий и событий построим дерево разметок.В данной сети для условий p1, p2, p3,p4,p5,p6 таким числом является 1.Таким образом, все условия данной сети являются ограниченными.В данной сети все места ограничены, значит и сама сеть ограничена.Если М = М0, то переход t называется потенциально живым в сети N.В данной сети все переходы не являются живыми в сети N.В данной сети два перехода не являются устойчивыми, а значит сама сеть также не является устойчивой.Затем был построен граф сети и полное покрывающее дерево, совпадающее с графом разметок.В качестве модели для построения сети Петри был взят исходный процесс коммутации.