6.4.3. Комби-сети

Наиболее полный набор средств описания дискретных и дискретно-непрерывных систем в виде сетей событий применяется при построении Комби-сетей. Множество Р позиций К-сетей объединяет 6 подмножеств: Рэ – элементарные, Рт – с временной задержкой, Рд – долгоживущие, Рг - гибридные, Рк – комплексные, Рм – макропозиции. Каждой позиции отвечает некоторый характерный для данной позиции набор атрибутивных переменных , . Позиции сети могут не иметь маркеров, иметь единственный маркер, накапливать маркеры (M: P→N). При выполнении сети общее число действующих в ней маркеров изменяется и в каждый текущий момент времени равно МА. Всё множество МА маркеров разбивается на 4 класса: булевские, с атрибутивными переменными, долгоживущие, изменяющие вид с элементарного на долгоживущие и обратно. С двумя первыми классами связаны элементарные маркировки (запрещены для позиций Рд), третьему и четвёртому классам соотносятся долгоживущие маркировки (запрещены для позиций Рэ, Рт, Рм). Каждый класс МК использует определённую структуру данных, все маркеры класса МК, за исключением булевского класса, имеют множество атрибутивных переменных .

Множество Т переходов К-сети состоит из 5-ти подмножеств: Тэ - элементарных, Тпр – с прерыванием, Тд – долгоживущих, Тк – комплексных, Тм – макропереходов. Каждый характеризуется набором атрибутивных переменных .

Объединение всех наборов атрибутивных переменных сети образует множество ATTR её локальных переменных.

Связи Е между позициями и переходами в К-сетях задаются обычным для сетей Петри способом: .

Необходимые условия возбуждения переходов описываются логическими выражениями. Переход может перейти в возбуждённое состояние, если соответствующее этому переходу логическое выражение будет истинным. Другое необходимое условие возбуждения связано с текущей разметкой входных и выходных позиций перехода. В тех случаях, когда количество маркеров в больше, чем это необходимо для возбуждения перехода, возникает вопрос о механизме выбора удаляемых маркеров. Такими механизмами могут быть: FIFO, LIFO, HVF, LVF, согласно заданным приоритетам или по указанию пользователя.

После перехода в позицию маркер становится недоступным в ней на время задержки τ( ). Значения τ( ) могут быть определены различными способами: выбор случайной величины с заданным законом распределения, назначение констант из множества неотрицательных целых чисел, выбором по указанию пользователя и т.д.

Если , необходимо указать конкретную позицию , в которую переходят маркеры. Могут быть различные механизмы: равновероятный по тестовым условиям, по значениям атрибутивных переменных маркеров или по указанию пользователя.

Ещё одна особенность выполнения К-сетей обусловлена структурой её связей: в позициях Рд, возможны конфликтные ситуации, связанные с необходимостью выбора какого-то одного из нескольких возбуждённых переходов, смежных с . Для исключения конфликтов этого вида в К-сетях применяются специальные механизмы случайного выбора, выбора по номеру перехода или по вероятности и другие. Большое разнообразие возможных вариантов построения схемы переходов в К-сетях обусловило разработку основного набора таких схем, а также способов построения составных схем, создаваемых на базе элементов из основного набора.