7.3 Проектирование сети Петри
Для построения сети Петри приведем в соответствие множество позиций множеству описанных входных сигналов, множество переходов - множеству выходных сигналов. Для последующего анализа корректности построенной сети Петри произведем ее исполнение, обозначив множества входных I(t) и выходных O(t) функций.
Сети Петри имеют удобную графическую форму представления в виде графа, в котором позиции изображаются кружками, а переходы прямоугольниками или «полочками».
Само по себе понятие сети имеет статическую природу. Для задания динамических характеристик используют понятие маркировки. Графически маркировка изображается в виде точек, называемых метками, и располагающихся в кружках, соответствующих местам сети.
Свяжем позиции сети Петри с элементами разработанной математической модели (см. табл. 4.1).
Таблица 4.1. Соответствие множества позиций сети Петри множеству входных сигналов
Позиция СП
|
Входной сигнал
|
Позиция СП
|
Входной сигнал
|
Р4.1
|
Х4
|
Р4.2
|
|
Р5.1
|
Х5
|
Р5.2
|
|
Р6.1
|
Х6
|
Р6.2
|
|
Р7.1
|
Х7
|
Р7.2
|
|
Р8.1
|
Х8
|
Р8.2
|
|
Р9.1
|
Х9
|
Р9.2
|
|
Р10.1
|
Х10
|
Р10.2
|
|
Р11.1
|
Х11
|
Р11.2
|
|
Р12.1
|
Х12
|
Р12.2
|
|
Р13.1
|
Х13
|
Р13.2
|
|
Р14.1
|
Х14
|
Р14.2
|
|
Р15.1
|
Х15
|
Р15.2
|
|
Р16.1
|
Х16
|
Р16.2
|
|
Р17.1
|
Х17
|
Р17.2
|
|
Р18.1
|
Х18
|
Р18.2
|
|
Р19.1
|
Х19
|
Р19.2
|
|
Р20.1
|
Х20
|
Р20.2
|
|
Р21.1
|
Х21
|
Р21.2
|
|
Р22.1
|
Х22
|
Р22.2
|
|
Р23.1
|
Х23
|
Р23.2
|
|
Р24.1
|
Х24
|
Р24.2
|
|
Р25.1
|
Х25
|
Р25.2
|
|
Р26.1
|
Х26
|
Р26.2
|
|
Р27.1
|
Х27
|
Р27.2
|
|
Р28.1
|
Х28
|
Р28.2
|
|
Р29.1
|
Х29
|
Р29.2
|
|
Р30.1
|
Х30
|
Р30.2
|
|
Р31.1
|
Х31
|
Р31.2
|
|
Р32.1
|
Х32
|
Р32.2
|
|
Р33.1
|
Х33
|
Р33.2
|
|
Р1
|
Х1
|
Р2
|
Х2
|
Р3
|
Х3
|
Р4
|
Х4
|
Поставим в соответствие переходам сети Петри выходные сигналы (см. табл. 4.2).
Таблица 4.2 Соответствие множества переходов сети Петри множеству выходных сигналов
Переход сети Петри
|
Выходной сигнал
|
t11
|
Y11
|
t1
|
Y1
|
t21
|
Y121
|
t22
|
Y122
|
t2
|
Y2
|
t31
|
Y131
|
t32
|
Y132
|
t3
|
Y3
|
tа
|
Yа
|
Таблица 4.3. Множества входных и выходных функций
Множество входных функций
|
Множество выходных функций
|
I(t11) = {Р1,Р4.2,Р5.2,Р6.1,Р7.1,Р9.1,Р10.1, Р12.1,Р13.1,Р14.1,Р33.2}
|
О(t11) = {Р2,Р4.1,Р5.1,Р9.1,Р10.1,Р11.2,Р12.2, Р13.2,Р14.2}
|
I(t1) = {Р8.1,Р9.1,Р10.1,Р11.2,Р12.2, Р13.2,Р14.2,Р33.2}
|
О(t1) = {Р11.1,Р12.1,Р13.1,Р14.1}
|
I(t21) = {Р2,Р4.1,Р5.1, Р16.1, Р18.2,Р19.2,Р20.1, Р24.1,Р25.1,Р6.1,Р7.1,Р33.2}
|
О(t21) = {Р3,Р4.1,Р5.2,Р16.2,Р18.1,Р19.1,Р22.2, Р23.2}
|
I(t31) = {Р3,Р4.1,Р5.2,Р6.1,Р7.1,Р27.1,Р29.1, Р31.1,Р32.1,Р33.2}
|
О(t31) = Р3.2,Р4.1
|
I(t22) = {Р2,Р4.2,Р5.2,Р6.1,Р7.1,Р17.1,Р21.1, Р33.2}
|
О(t22) ={Р3,Р4.1,Р5.2,Р17.2,Р24.2,Р25.2
|
I(t2) = {Р15.1,Р16.1, Р17.1,Р20.2,Р21.2, Р24.2,Р25.2,Р33.2}
|
О(t2) = Р20.1,Р21.1,Р24.1,Р25.1}
|
I(t32) = {Р3,Р4.1,Р5.2,Р6.1,Р7.1,Р28.1,Р30.1, Р31.1,Р32.1,Р33.2}
|
О(t32) = Р4.2,Р5.1,Р28.1,Р30.2,Р32.2}
|
I(t3) = {Р26.1,Р27.1, Р28.1,Р29.2,Р30.2, Р31.2,Р32.2,Р33.2}
|
О(t3) = Р29.1,Р30.1,Р31.1,Р32.1}
|
I(tа) = {Р8.2}
|
О(tа) = {Р33.1}
|
|
Скачать 1.64 Mb.