Компьютерное моделирование. Замятина О.М. - 51 стр.

UptoLike

ВУЗ: 

ТПУ | Томск

Составители: 

Рубрика: 

51
– FIFO (First-In, First-Out): требования обслуживаются по
принципу «первым прибыл – первым обслужен»;
– LIFO (Last-In, First-Out): требования обслуживаются по
принципу «последним прибыл – первым обслужен»;
– приоритет: требования обслуживаются в порядке их
значимости.
3.2.2. Сети Петри
Часто аналитики в задачах анализа и синтеза сложных систем
обращаются к формальным системам, основанным на использовании
сетей Петри. Структура сети Петри задается ориентированным
двудольным мультиграфом, в котором одно множество вершин состоит
из позиций, а другое множество – из переходов [11].
Сеть Петри – это направленный двусторонний граф, состоящий из
позиций (Р) и переходов (Т). Основные элементы сети Петри
представлены в табл. 3.2.
Таблица 3.2
Элементы сетей Петри
Название элемента
Изображение элемента
Позиция (Р)
Переход (Т)
Дуга
Переходы в сети Петри являются событиями, которые изменяют
состояния в реальной системе. На рис. 3.1 приведен пример
интерпретации сети Петри.
Рис. 3.1. Интерпретация сети Петри

Страницы