Архив категории ‘Сети Петри’

Анализ сетей Петри. Достижимость и покрываемость

    На этом шаге мы рассмотрим вопросы, связанные с достижимостью и покрываемостью в сетях Петри. Определение. Задача достижимости. Для данной сети Петри С = (P, T, I, O) с маркировкой m и маркировки m' определить: m', принадлежащее R(C, m).     Задача достижимости - основная задача анализа сети Петри. Многие задачи анализа могут быть сформулированы в […]

Анализ сетей Петри. Активность сети Петри

    На этом шаге мы введем понятия тупика и активного перехода.     Рассмотрим систему, включающую два различных ресурса q и r и два процесса а и b. Если оба процесса нуждаются в обоих ресурсах им необходимо будет совместно использовать ресурсы. Для выполнения этого требуется, чтобы каждый процесс запрашивал ресурс, а затем освобождал его. Предположим, что […]

Анализ сетей Петри. Сохранение сети Петри

    На этом шаге мы рассмотрим свойство сохраняемости сети Петри.     Сети Петри можно использовать для моделирования систем распределения ресурсов. Например, сеть Петри может моделировать запросы распределения и освобождения устройств ввода-вывода в вычислительной системе. В этих системах некоторые функции могут представлять ресурсы. Группа из трех построчно печатающих устройств представляется позицией, имеющей в начальной маркировке три […]

Безопасность сети Петри

На этом шаге мы рассмотрим безопасность сетей Петри. Одно из важнейших свойств сети Петри, которая должна моделировать реальное устройство, - безопасность. Позиция сети Петри является безопасной, если число фишек в ней никогда не превышает 1. Сеть Петри безопасна, если безопасны все позиции сети. Определение. Позиция pi принадлежащая P сети Петри С = (Р, Т, I, […]

Приложение «Редактор сетей Петри». Основные элементы интерфейса

    На этом шаге мы рассмотрим основные элементы интерфейса созданного приложения.     После запуска программы пользователь видит главное окно программы, изображенное на рисунке 1. Рис.1. Вид приложения "Редактор сетей Петри"     Основные элементы интерфейса: Панель инструментов (рисунок 2): служит для выбора объекта рисования (1 - позиция, 2 - переход, 3 - дуга, 6 - комментарий), […]

Приложение «Редактор сетей Петри». Представление сети Петри в памяти компьютера

    На этом шаге мы начнем описывать созданное приложение, в частности, остановимся на представлении сети Петри в памяти компьютера.     Сети Петри можно представить в виде двудольного мультиграфа. Этим представлением мы и воспользовалась. Структура состоит из двух заголовочных списков: списка переходов и списка позиций. Каждый элемент списка позиций - это запись, содержащая семь полей: x […]

Расширенные сети Петри

    На этом шаге мы кратко опишем некоторые модификации сетей Петри.     Сети Петри могут быть использованы для моделирования самых различных систем, в том числе аппаратного и программного обеспечения ЭВМ. Очевидно, что сети Петри могут адекватно моделировать разные системы, однако могут существовать такие системы, которые нельзя должным образом моделировать сетями Петри, т. е. мощность моделирования […]

Системы параллельных взаимодействующих процессов, моделируемых сетями Петри. Другие системы

    На этом шаге мы рассмотрим еще несколько областей, где могут применяться сети Петри.     Сети Петри также применимы для моделирования большого числа систем, совершенно отличных от вычислительных систем.     PERT (Program Evaluation and Review Technique) - диаграмма давно используется для планирования больших проектов. PERT-диаграмма является графическим представлением взаимосвязей между различными этапами, составляющими проект. Проект […]

Системы параллельных взаимодействующих процессов, моделируемых сетями Петри. Химические системы

    На этом шаге мы рассмотрим использование сетей Петри для иллюстрации химических реакций.     Химические системы - другой пример систем, которые могут быть промоделированы сетями Петри. Химические уравнения моделируются переходами; вещества, участвующие в реакции, - позициями. Количество фишек в позиции указывает на количество данного вещества в системе. Например, сеть Петри на рисунке 1 представляет два […]

Системы параллельных взаимодействующих процессов, моделируемых сетями Петри. Задача о чтении/записи

    На этом шаге мы приведем формулировку этой задачи.     Существует несколько вариантов задачи о чтении/записи, но основная их структура остается неизменной. Имеются процессы двух типов: процессы чтения и процессы записи. Все процессы совместно используют общий файл, переменную или элемент данных. Процессы чтения не изменяют объект в отличие от процессов записи. Таким образом процессы записи […]