Метамодель "асинхронный процесс" и модель "сеть Петри" на примере процесса работы периферийного устройства (плоттера)
Контрольная работа - Компьютеры, программирование
Другие контрольные работы по предмету Компьютеры, программирование
={,;={,}
Выделим входную компоненту X={00,01,11} из второго и третьего элементов векторов ситуаций. Эти компоненты выбраны неслучайно. Именно по ним можно идентифицировать интересующий нас подпроцесс.
Выберем различных значений входной компоненты: . X*={01,11}. В данном случае отбрасывается первый элемент вектора X потому что он идентифицирует не интересующие нас ситуации.
Тогда редукцией P (X*) будет являться:
S* = ; S (X*) =;
Ситуации, которые лежат внутри траекторий основного процесса P2 и входят в S*.
F (X*): ->;
I (X*) ={};
R (X*) ={};
Граф редукции:
Выделим выходные компоненты процесса P2 и входные компоненты процесса P1, имеющие сходную семантику:
Y= {1} (по первому элементу векторов ситуаций)
X* = {1} (по первому элементу векторов ситуаций)
Построим по ним соответствующие редукции процессов:
S1* = S1 (X*) = S1 = {1010101, 1010111, 1101111, 1101010, 1111111};1 (X*) ={,};1 (X*) ={, };1* = F1: 2* = S2 (Y*) = S2 = {1000, 1001, 1011, 1111};2 (Y*) ={,;2 (Y*) ={,}2* = F2:
Ситуации процесса P3 представимы в виде пар s3 = (s1, s2) /
1)
)y1 = x2
)
) или
или
Таким образом, АП P3 =
S3 = {1111010101, 1111010111, 1111101111, 1111101010, 1111111111}
F3: 1111010101->1111010111->1111101111->1111101010->1111111111
1111010101->1111010111->1111101111->1111101010->11111111113 = {1111010101}
R3 = {1111101010, 1111111111}
Результатом является граф:
5. Предметная интерпретация асинхронного процесса
5.1 Сеть Петри (для процесса подготовки к вырезанию)
Сетью Петри называется пятёрка.
- конечное непустое количество условий;
- конечное непустое количество событий;
- функция инцидентности;
- функция инцидентности;
- начальная разметка.
- бездействие плоттера;
- непопадание материала;
- установка материала;
- фиксация точки отсчета;
- переход к условию ошибки;
- переход к условию установки материала;
- переход к условию фиксации точки отсчета;
Граф разметок:
Свойства сети Петри:
1)Место является ограниченным вся сеть является ограниченной;
)Место является небезопасным вся сеть является небезопасной;
)Переход не является потенциально живым вся сеть не является потенциально живой;
)Все переходы являются устойчивыми вся сеть является устойчивой;
Заключение
В данной работе была создана, а также исследована метамодель "асинхронный процесс" и модель "сеть Петри" на примере процесса работы периферийного устройства плоттер.
Несмотря на то, что "асинхронный процесс" является упрощенной моделью процесса, его построение для выбранного вычислительного процесса позволяет более глубоко понять его функционирование. Построение сети Петри для данной модели позволяет исследовать многие характеристики системы и понять будущее программы еще до ее написания.