我正在做Petri網上的一個項目。如何將一個活動圖轉換爲一個petrinet，綜合並分析它？
我已經使用UML工具Umbrello生成了活動圖（以.xmi格式）。我需要將其轉換爲Petri網，然後使用工具Petrify進行綜合。但爲了將其轉換爲Petri網，必須將活動圖轉換爲XML格式。
爲了使用petrify進行合成，Petri網必須轉換成.g格式，然後才轉換爲.xml格式。總之，我需要整合工具Umbrello，UML2owfn，Petrify和PIPE。我如何使用Python集成這些工具？
方便的活動圖或多或少具有Petri網的語義。這是協議：您需要先閱讀並解析活動digram XML。 Python中有several good options這個;除非您的活動圖很龐大，否則您應該選擇一個將整個XML元素樹保留在內存中的構件。
然後將活動圖轉換爲二部圖。由於活動圖可以在沒有轉換（線）的情況下具有相鄰的活動節點（氣泡），因此將所有相鄰活動節點合併到Petri網中的一個位置。
還有several graph libraries in Python，但這很簡單，只需將圖形表示爲位置和轉換列表以及邊緣對的列表就可能更容易。
一旦你得到了patri網絡圖，只需走它來生成Petrify輸入，你應該設置。如果yu確實需要這些中間表示，那麼它應該是SMOP來生成它們。