Создание сети Петри в продукте Acsocad
В продукте Acsocad создается сеть Петри при помощи элементов "Сеть Петри: позиция" и "Сеть Петри: переход". Элементы связываются между собой при помощи коннекторов. Если стрелка на линии направлена в переход T, то эта связь является входной функцией I, в ином случае - выходной функцией O. Направление на линиях возможно изменить без удалений линий, для этого в панели редактирования линий последовательно выбирается направление.
Для реализации постоянной задержки в верхней панели для элемента 'Переход" под именем "PMUX" записывается целочисленная величина задержки (количество шагов до срабатывания перехода, по умолчанию оно равно нулю).
Видео-пример создания сети Петри в продукте Acsocad.
Пример использования сети Петри.
На складе А хранится 5 материнских плат,
на складе Б хранится 3 процессора,
на складе В хранится 20 планок оперативной памяти объемом 2 Гб,
на складе Г хранится 12 жестких дисков,
на складе Д хранится 4 корпуса с блоком питания и комплектом кабелей.
Сборщику поставлена задача собрать компьютер, у которого в 1 корпусе находится 1 материнская плата, 1 процессор, 6 Гб памяти (3x2), 2 жестких диска.
Сборщик не может собирать компьютер, если для сборки недостаточно комплектующих.
Компьютер не может быть собран, если сборщик занят сборкой другого компьютера, что является ещё одним условием для срабатывания перехода.
Моделирование сети Петри в продукте Acsocad
По условию задачи создается 5 позиций для складов, 1 позиция для определения того, что сборщик свободен (ожидает сборки), 1 позиция о выполнении работы сборщиком (сборщик занят), 1 позиция для хранения произведенных компьютеров (подсчет числа сборок), 1 переход для операции сборки, 1 переход для операции передачи продукции на склад готовой продукции.
