Предыдущая страница реферата | 7  8  9  10  11  12  13  14  15  16  17 | Следующая страница реферата

I: T > P

(3.2.4)

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

O: T > P

(3.2.5)

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

Если pi [pic] I (tj) , то pi – входная позиция j - го перехода, если pi [pic]I (tj) , то pi – выходная позиция j - го перехода.

Для наглядного представления сетей Петри используются графы.

Граф сети Петри есть двудольный ориентированный мультиграф

G = (V,[pic]),

(3.2.6)

где V = P U T , причём P ? T = Ш.

Исходя из графического представления сети Петри, её можно определить и так:

C = (P, T, A),

(3.2.7)

где А – матрица инцидентности графа сети.

Определим понятие маркированной сети Петри – оно является ключевым для любой сети.

Маркировка ? сети Петри C = (P, T, I, O) есть функция:

N = ?(P), N [pic] N,

(3.2.8)

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

? = {?1, ?2,…, ?n} ,

(3.2.9)

где n = |P |, а ?i [pic] N. Между этими определениями есть связь:

?i = ? (pi)

Рекомендуем скачать другие рефераты по теме: курсовая работа 2011, современные рефераты.





Предыдущая страница реферата | 7  8  9  10  11  12  13  14  15  16  17 | Следующая страница реферата