Формирование выходных документов на отгружаемую продукцию с помощью сетей Петри

СОДЕРЖАНИЕ

1. Общие положения и характеристики ординарных сетей Петри
2. Использование сетей Петри

Часть 1

Общие положения и характеристики ординарных сетей Петри

Определения

Ординарные сети Петри – тройка множеств C={P,T,E}, где
Р – множество

Пример 1: ординарная сеть Петри

Позиции
Переходы
Дуги

4

3

2

1

Позиции сети Петри обозначаются кружками, переходы –

САМОСТОЯТЕЛЬНО

1. Граф G(X,U)– это множество вершин X и отношений их инцидентности

Часть 2

Использование сетей Петри для поиска оптимальных стратегий формирования документов

Сети Петри в моделях формирования выходных документов

Содержательная постановка задачи:
Задано множество

Сеть Петри, иллюстрирующая возможные стратегии формирования документов

Время работы i-ой
программной

Формальная постановка задачи

9z(t1)+8z(t2)+7z(t3)+6z(t4)+5z(t5)+4z(t6)+3z(t7)+2z(t8) min;
z(t1)+z(t6)+z(t7)=1;
z(t4)+z(t5)+z(t8)=1;
z(t2)=1; z(t3)=1;
z(t8)z(t7)=0;
z(ti)=1,0; i=1,2,3,...,7.

Решение задачи переборными алгоритмами

Объем перебора булевых переменных равен n1=128.
Объем перебора перестановок

Обозначения
P’ – подмножество первых i позиций перестановки π (│ P’ │=

Алгоритм

Шаг 1. i=1.
Шаг 2. Определяется подмножество P’.
Шаг 3. Определяется подмножество T’.
Шаг

Пример 2

Пусть π = 1, 2, 3, 4. Тогда для

Самостоятельно

Формализовать и определить с помощью перестановок оптимальный порядок формирования документов с

Ответить на вопросы

Как построить сеть Петри для случая, когда документы формируются

Часть 3

Маркировка и динамика сетей Петри

Маркировка сети Петри – присвоение позиций числовых меток или значений. Представляется

Выполняется только возбужденный переход, т.е. такой, во всех входных позициях которого

Пример 1
Определить динамику сети Петри применительно к задаче поиска оптимальной стратегии

Начальная позиция выделена красным цветом

0

Расстановка пометок

2

1

3

4

А) В) С)
D) E)

Порядок расстановки пометок определяет оптимальную стратегию

Самостоятельно

Определить с помощью расстановки пометок оптимальный порядок формирования документов с

Самостоятельно

Назовите подсистемы АСУ вуз, которые эквивалентны производственным подсистемам:
а) формирования портфеля заказов;
б)