Слияние позицийСлияние позиций обеспечивает две возможности: сделать модель болем наглядной и установить связи между страницами сети. Слияние позиций можно рассматривать как первый шаг к иерархическим сетям Петри, потому пиктограмма Слияние (Fusion) расположена в палитре инструментов Иерархии (Hierarchy). Каждая позиция множества слияния дополняется тегом слияния с одним и ем же именем: все позиции множестве слияния рассматриваются CPN Tools как одна позиция. Визуально изменение маркировки одной из позиций слияния приводит к изменению маркировки всех позиций множества. Позиции множества слияния должны иметь одинаковое множество цветов. Рассмотрим пример модели коммутатора Ethernet:
Кадры извлекаются из входного канала исходного порта Port*In, помещаются в Buffer, а затем направляются в выходной канал порта назначения Port*Out. Чтобы найти номер порта назначения, используется таблица коммутации SwitchTable. Модель содержит большое количество пересечённых линий, и с увеличением количества портов становится трудно читаемой. Приведем аналогическую модель с использованием двух множеств слияния: SwitchTable и Buffer.
Модель может быть легко расширена для произвольного количества портов с использованием клонирования групп элементов порта. Слияние позиций задаётся при помощи инструмента Assign fusion set в палитре инструментов Иерархии. После применения инструмента, к позиции добавляется тег слияния. Тег размещается возле позиции и содержит имя множества слияния по умолчанию. Тег можно переместить, а имя множества слияния откорректировать, редактируя стандартный текст внутр. тега слияния. Элементы множества слияния можно найти, поместив курсор поверх тега слияния. Свечение цвета морской волны указывает на то, какой позиции принадлежит тег слияния. Свечения розового цвета и подсветки указывают на другие позиции того же множества слияния и страницы, содержащие эти позиции. Множества слияний могут содержать позиции из разных страниц.
|
