5. Построение сети Петри
Построим сеть Петри по модели описанного процесса, имеющего следующий вид:
Представление сети Петри для данного процесса:
N = <P, T, H, F, M0>, где
P = {C, S, P, V, L, F, T, K, N, G} - множество условий;
T={t1, t2, t3, t4, t5, t6, t7, t8, t9} - множество событий;
M0= (1, 1, 0, 0, 0, 0, 0, 0, 0, 0) - начальная разметка
F (C, t1) = 1 |
H (t1, C) |
|
F (S, t1) = 1 |
H (t1, S) |
|
F (V, t2) = 1 |
H (t1, V) |
|
F (S, t2) = 1 |
H (t2, S) |
|
F (P, t3) = 1 |
H (t2, P) |
|
F (L, t3) = 1 |
H (t2, L) |
|
F (P, t4) = 1 |
H (t3, P) |
|
F (F, t4) = 1 |
H (t3, F) |
|
F (P, t5) = 1 |
H (t4, P) |
|
F (T, t5) = 1 |
H (t4, T) |
|
F (P, t6) = 1 |
H (t5, P) |
|
F (S, t6) = 1 |
H (t5, K) |
|
F (K, t6) = 1 |
H (t5, V) |
|
F (P, t7) = 1 |
H (t6, P) |
|
F (N, t7) = 1 |
H (t6, N) |
|
F (V, t7) = 1 |
H (t7, P) |
|
F (P, t8) = 1 |
H (t7, G) |
|
F (G, t8) = 1 |
H (t7, N) |
|
F (N, t8) = 1 |
H (t8, V) |
|
F (C, t9) = 1 |
H (t9, C) |
|
F (S, t9) = 1 |
||
F (V, t9) = 1 |
Сеть Петри:
Граф разметок данной сети:
Покрывающее дерево будет выглядеть идентично.
- 1. Задание
- 2. Описание процесса
- 3. Построение метамодели "асинхронный процесс"
- 3.1 Компоненты рассматриваемого процесса
- 3.2 Множество ситуаций рассматриваемого процесса
- 3.3 Описание модели "асинхронный процесс"
- 3.4 Траектории выполнения процесса и классы эквивалентности ситуаций
- 4. Операции над процессами
- 4.1 Репозиция процесса
- 4.2 Редукция
- 4.3 Композиция
- 5. Построение сети Петри
- 5.1 Свойства мест сети Петри
- 5.2 Свойства переходов сети Петри
- Заключение
- Средства копирования документов
- 3.1 Средства копирования документов
- Тема 4.5. Принцип электростатической фотографии
- 2. Методы копирования и тиражирования информации
- 1.1. Электрографическое копирование
- Копировальная техника. Электрографическое копирование. Термографическое копирование
- Средства копирования документов
- 1.1. Электрографическое копирование
- Средства изготовления, копирования и размножения
- Средства копирования документов