Построение стохастических сетей Петри
Рис.1: Граф с нагруженными вершинами, полученный в лабораторной работе №1 |
Времена выполнения фрагментов программы в мкс:
R1 = 0,07 R2 = 0,67 R3 = 0,11 R4 = 0,16 R5 = 0,04 |
R6 = 0,05 R7 = 1,10 R8 = 0,35 R9 = 0 |
Для графа с нагруженными вершинами из лабораторной работы №1 (см. рис.1) были построены две стохастические сети Петри: с последовательной реализацией цикла (рис.2) и с параллельной реализацией цикла (рис.3). Фрагмент сети Петри, соответствующий телу цикла вынесен на отдельный рисунок (рис. 4). Интенсивности переходов вычислены на основе средних времен выполнения процессов и вероятностей выбора ветви.
Рис.2: ССП с последовательной реализацией цикла |
При параллельной реализации цикла в наличии имеется два процессора. Так как число повторений тела теперь в два раза меньше, то есть примерно 5, то вероятность продолжения цикла , а вероятность выхода из цикла 1-p= 0.2.
Рис.3: ССП с параллельной реализацией цикла |
Рис. 4: Фрагмент ССП, соответствующий телу цикла |
Анализ ссп в программе csa
Последовательная реализация Анализ на основе эмц Список позиций Сети Петри 'spn_posl'
Номер Позиция |
0 p1 1 p2 2 p3 3 p4 4 p5 5 pb2 6 pb3 7 pb4 8 pb5 9 pb6 10 pb7 11 pb8 12 pb9 |
Создано маркировок : 13
!beginner_00000001 : 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
t1_00000002 : 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
tb1_00000003 : 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0
tb2_00000004 : 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0
tb3_00000005 : 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0
tb4_00000006 : 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0
tb6_00000007 : 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0
tb7_00000008 : 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0
tb8_00000009 : 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0
tb10_0000000A : 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1
tb11_0000000B : 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0
t2_0000000C : 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0
t3_0000000D : 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0
Рис. 5: ЭМЦ изоморфная ССП с последовательной реализацией |
Результаты вычисления вектора финальных вероятностей
Вектор финальных вероятностей
г======================================¬
¦ !beginner_00000001 0.0031 ¦
¦ t1_00000002 0.2999 ¦
¦ t2_0000000C 0.0156 ¦
¦ t3_0000000D 0.1406 ¦
¦ tb10_0000000A 0.0000 ¦
¦ tb11_0000000B 0.0004 ¦
¦ tb1_00000003 0.0492 ¦
¦ tb2_00000004 0.0000 ¦
¦ tb3_00000005 0.4911 ¦
¦ tb4_00000006 0.0000 ¦
¦ tb6_00000007 0.0000 ¦
¦ tb7_00000008 0.0000 ¦
¦ tb8_00000009 0.0000 ¦
L======================================-
Средние времена возврата
г======================================¬
¦ !beginner_00000001 22.3770 ¦
¦ t1_00000002 2.2377 ¦
¦ t2_0000000C 22.3770 ¦
¦ t3_0000000D 2.4863 ¦
¦ tb10_0000000A 447540285.9213 ¦
¦ tb11_0000000B 2.2377 ¦
¦ tb1_00000003 2.2377 ¦
¦ tb2_00000004 2.2377 ¦
¦ tb3_00000005 2.2377 ¦
¦ tb4_00000006 447540280.1585 ¦
¦ tb6_00000007 447540281.2455 ¦
¦ tb7_00000008 895080570.5419 ¦
¦ tb8_00000009 895080566.6498 ¦
L======================================-
Анализ на основе ПМЦ
ѕѕѕ Начальное состояние [ 0.00 Ok] ѕѕѕ
ѕѕѕ Удалена вершина t3_0000000D [ 7.41 Ok] ѕѕѕ
ѕѕѕ Удалена вершина tb3_00000005 [ 14.81 Ok] ѕѕѕ
ѕѕѕ Удалена вершина tb7_00000008 [ 22.22 Ok] ѕѕѕ
ѕѕѕ Удалена вершина tb8_00000009 [ 29.63 Ok] ѕѕѕ
ѕѕѕ Склеены параллельные дуги у вершины tb6_00000007 [ 33.33 Ok] ѕѕѕ
ѕѕѕ Удалена вершина tb6_00000007 [ 40.74 Ok] ѕѕѕ
ѕѕѕ Удалена вершина tb10_0000000A [ 48.15 Ok] ѕѕѕ
ѕѕѕ Удалена вершина tb1_00000003 [ 55.56 Ok] ѕѕѕ
ѕѕѕ Удалена вершина tb4_00000006 [ 62.96 Ok] ѕѕѕ
ѕѕѕ Склеены параллельные дуги у вершины tb2_00000004 [ 66.67 Ok] ѕѕѕ
ѕѕѕ Удалена вершина tb2_00000004 [ 74.07 Ok] ѕѕѕ
ѕѕѕ Удалена вершина t2_0000000C [ 81.48 Ok] ѕѕѕ
ѕѕѕ Удалена вершина t1_00000002 [ 88.89 Ok] ѕѕѕ
ѕѕѕ Удалены циклические дуги у вершины tb11_0000000B [ 92.59 Ok] ѕѕѕ
ѕѕѕ Удалена вершина tb11_0000000B [100.00 Ok] ѕѕѕ
ѕѕѕ Заключительное состояние [100.00 Ok] ѕѕѕ
Поглощающая Марковская цепь SPN_posl
Нет информации пользователя
Вершина !beginner_00000001 : выходящих дуг - 1
Дуга к вершине Параметры (p,m,d) | ||
|
_AbsorbTop |
_ 1.000000 22.377014 447.843426 |
Вершина __AbsorbTop__ : выходящих дуг - 1
Дуга к вершине Параметры (p,m,d) | ||
|
_AbsorbTop |
_ 1.000000 0.000000 0.000000 |