Я создал диаграмму активности в формате xmi с помощью инструмента Umbrello. Я также использую инструмент под названием Uml2owfn, который преобразует диаграмму активности в формате xml в сеть Петри. Он не будет принимать ввод xmi. xml.Это возможно с помощью Python? Есть ли инструмент, который выполняет это преобразование?