logo search
моделирование-шпора

22.*Типы сетей Петри, используемые для моделирования вс. Пример моделирования процесса параллельного обслуживания заявок с пакетированием сетью Петри.

Для моделирования СВТ используются следующие типы сетей Петри:

Свойства сетей Петри:

  1. Ограниченность – число меток в любой позиции не может быть больше некоторого числа k – числа конечных состояний.

  2. Достижимость – возможность достижения заданных маркировок.

  3. Сохраняемость – невозможность возникновения или уничтожения ресурсов в сети Петри.

Моделирование процесса пакетирования заявок

Пусть пакет формируется из заявок А и Б по одной и двух С

А . B . C .. – наличие требуемого количества заявок заданного типа

- пакетирование

- пакет сформирован