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

  Повний текст PDF - 910.046 Kb    Зміст випуску     Цитування публікації

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"