Построение дерева достижимости. Анализ сети Петри

(обработка на станке С1)

t3 t4

1101003021021021001 1110003021013010011

дублирующая вершина

(обработка на станке С2)

1110012010001021011 1101023021011021001

дублирующая вершина

дублирующая вершина

Итак, как видно из дерева достижимости анализируемый технологический процесс цикличен. Тупиковых ситуаций, приводящих к остановке работы ГАК, нет, т.е. нет терминальных вершин. Каждый раз срабатывает единственный переход после выполнения предыдущего. Также следует отметить, что данная сеть является безопасной, т.е. количество фишек в каждой позиции меньше или равно некоторого установленного k.

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