Дипломная работа: Подсистема визуального отображения процесса интерпретации сетевых моделей в системе имитационного моделирования МИКРОСИМ

Стандартная функция входного выбора R1 представляется выражением

R1 (Y) = [B(X1)–>X1; B(X2)–>X2;…; B(Xm)–>Xm],

т.е. эта функция «вычисляет» первую из входных позиций (при просмотре их в порядке X1, X2,…, Xm), содержащую хотя бы одну фишку.

Общая (нестандартная) функция входного выбора задается выражением

R1 (Y) = [B(X1)&P1–>X1;…; B(Xm)&Pm–>Xm],

где P1,…, Pm – некоторые предикаты.

Функция выходного выбора в сети данного типа является всегда константой:

R2 (Y)=[T–><Y1, Y2,…, Yn>] = {Y1, Y2,…, Yn}.

Пусть X – некоторая входная позиция, вычисленная функцией R1 (Y). Тогда стандартная процедура преобразования FI(Y) совпадает со стандартной процедурой преобразования FI(T), если в последней заменить позицию X1 позицией X.

При пустом множестве входных позиций элементарная сеть типа Y не отличается от сети типа T, у которой пусто множество входных позиций.

Необходимое условие срабатывания перехода имеет вид:

C(X)=(B(X1)&B(X2)&…&B(Xm))&(^B(Y1)!^B(Y2)!…!^B(Yn))

Функция входного выбора в сети данного типа всегда является константой:

R1 (X) = [T–>{X1, X2,…, Xm}] = {X1, X2,…, Xm}.

Стандартная функция выходного выбора представляется следующим выражением:

R2 (X)=[^B(Y1)–>Y1;^B(Y2)–>Y2;…;^B(Yn)–>Yn],

а общая (нестандартная) функция выходного выбора – выражением:

R2 (X) = [^B(Y1)&P1–>Y1;…;^B(Yn)&Pn–>Yn],

где P1,…, Pn – некоторые предикаты.

Пусть Y – некоторая выходная позиция, вычисленная функцией R2 (Y). Тогда стандартная процедура преобразования FI(Y) реализует перепись атрибутов фишки, извлекаемой из входной позиции X1, и присваивание значений этих атрибутов фишке, добавленной выходную позицию Y.

Если множество выходных позиций пусто, то элементарная сеть данного типа не отличается от сети типа T при пустом множестве ее выходных позиций.

Сеть данного типа сочетает в себе свойства элементарных сетей типов Y и X. Необходимое условие срабатывания перехода задается выражением:

C(G)=(B(X1)! B(X2)!…! B(Xm))&(^B(Y1)!^B(Y2)!…!^B(Yn)).

Стандартные функции входного и выходного выбора R1 (G) и R2 (G) совпадают соответственно со стандартными функциями выбора R1 (Y) и R2 (X) в элементарных сетях типов Y и X. Аналогично, общие (нестандартные) функции входного и выходного выбора R1 (G) и R2 (G) совпадают с общими функциями выбора R1 (Y) и R2 (X) соответственно, при различающихся в общем случае последовательностями предикатов:

R1 (G) = [B(X1)&P11–>X1;…; B(Xm)&P1m–>Xm],

R2 (G) = [^B(Y1)&P21–>Y1;…;^B(Yn)&P2n–>Yn].

Пусть X и Y – некоторые входная и выходная позиции, вычисленные функциями R1 (G) и R2 (G) соответственно. Тогда стандартная процедура преобразования FI(G) реализует перепись атрибутов фишки, извлекаемой из позиции X, и присваивание значений этих атрибутов фишке, добавляемой в позицию Y.

Если множество входных (или выходных) позиций пусто, то элементарная сеть типа G не отличается от элементарной сети типа X (или Y) при пустом множестве входных (или выходных) позиций.

Необходимое и достаточное условие срабатывания перехода имеет вид: