Работа выполнялась в лаборатории теоретического программирования ИСИ СО РАН имени акад. А. П. Ершова. Она является развивает тему работы бакалавры и посвящена созданию системы верификации раскрашенных сетей Петри (РСП) ...