Структура сетей Петри. Расширенная входная функция. Расширенная выходная функция.

СП является четвёркой С=(P,T,I,O), где P={p1,…,pn} – конечное множество позиций, |Pn|=n, n>=0. T={t1,…,tm} – конечное множество переходов. |Tm|=m, m>=0.

I: T→P∞- это входная функция для перехода tj, комплект вход. позиций для tj обозначается I(tj).

O: T→P∞- выходная функция для переходов, копмлект выходных позиций для перехода tj обозначается O(tj).

I(t1)={p1, p2},O(t1)={p4, p4, p4, p4}, I(t2)={p2}, O(t2)={p3}.

Расширенная входная функция: I(p1) = , I(p2)= ,I(p3)={t2}, I(p4)={t1,t1,t1,t1}

Расширенная выходная функция: O(p1)={t1}, O(p2)={t1, t2}, O(p3)=O(p4)=

Кратность входной позиций рi для перехода tj есть число появлений позиций во входной комплекте перехода.

Аналогично кратность входной позиций pi для перехода tj есть число позиций во выходном комплекте переходов #(pi, O(tj))

Расшир. входная функция – это отображение позиций комплекта переходов на входе. I: P→T∞

Расшир. выходная функция – это отображение позиций комплекта переходов на выходе. O: P→T∞

Причём, выполняются следующие условия.#(tj,O(pi))= #(pi,I(pi)), #(tj,I(pi))= #(pi,O(ti))