如何将活动图转换为 Petrinet，综合并分析？

Question

我正在做一个关于Petri网的项目。在

我已经使用UML工具Umbrello生成了一个活动图（以.xmi格式）。我需要把它转换成Petri网，然后用Petri工具进行合成。但是为了将其转换为Petri网，必须将活动图转换为XML格式。在

为了使用petrify进行综合，Petri网必须转换成.g格式，然后才转换成.xml格式。简而言之，我需要集成工具umblello，UML2owfn，Petrify和PIPE。如何使用Python集成这些工具？在

Answer 1

不管怎样，活动图或多或少都有Petri网的语义。事情是这样的：您需要首先读取并解析活动图XML。在Python中有several good options；除非活动图非常庞大，否则应该选择一个将整个XML元素树保存在内存中的图。在

然后将活动图转换为二部图。由于一个活动图可以有相邻的活动节点（气泡），而没有转换（线），所以将所有相邻的活动节点折叠到petri网中的一个位置。在

也有several graph libraries in Python，但这相当简单，可能更容易将图表示为位置和转换的列表，以及边的对列表。在

一旦你有了patri网络图，只需遍历它来生成石化输入，你就应该设置好了。如果yu真的需要这些中间表示，那么也应该使用SMOP来生成它们。在