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