如何将活动图转换为petrinet，综合然后分析？

我正在做一个关于 Petri 网的项目。 我使用 UML 工具 Umbrello 生成了一个活动图（.xmi 格式）。我需要将其转换为 Petri 网，然后使用工具 Petrify 对…