petri-net

0熱度

1回答

我有一個工作流網（petri網），我必須實現一個算法來驗證它是否正確無誤。

4熱度

3回答

我想知道是否有任何框架或應用程序/程序可以分析任何Java代碼的併發性？如果該工具知道jre發佈的所有類和方法的實現，那麼它歸結爲對同步塊和方法及其調用層次結構的簡單分析。從這裏可以創建一個Petri網，並且可以肯定地告訴你，如果你能經歷一個僵局。我錯過了什麼，或者這真的很容易？那麼必須有一些很酷的工具來做這種事情？或者，這樣的工具是否會報告由於一些潛在的程序/業務邏輯而完全保存的可能的死鎖？

3熱度

4回答

Petri-net編輯器

1-任何人都可以引入一些現代Petri-net編輯器並比較主題嗎？當前我正在使用WoPeD。 2-是否有任何支持Petrinet的UML工具？

0熱度

1回答

創建具有隨機值的令牌

在下面顯示的petrinet中，由於rand（）函數似乎不起作用，因此在創建具有隨機值的令牌input2時存在問題。有沒有其他方法可以做到這一點？

0熱度

1回答

比較具有不同結構的兩個列表

我想在使用SML的CPN工具中執行模式匹配功能。我已經定義了一個色彩集EVENT：colset EVENT = product EVENTTYPE * EVENTTIME timed; 當比較列表時，我只對事件類型感興趣，所以我試圖比較[a,b]到[ (a,0), (b,1) ]到 - 所以我寫了下面的SML-函數，比較兩個列表： fun pattern_match _ [] = true

2熱度

2回答

是否有一個既有狀態又有活動的標準圖類型？

我知道一個UML活動圖描述了一種算法，因此從某種意義上說它是現代版本的流程圖，而UML狀態圖則顯示了一個對象或系統可以找到的所有可能（或有趣）的狀態，顯示了這些州之間所有可能的轉換。我也明白它們是正交模型：連接狀態圖中兩個狀態的箭頭代表一個算法或一個活動圖;並且活動圖的兩個活動之間的一些（如果不是全部的話）箭頭表示對象在連續動作之間發現的狀態。是否存在標準圖類型（UML或其他傳統），它爲兩個操作

1熱度

1回答

如何使用PNML框架來解析pnml文件？

我試圖找到如何使用PNML Framework http://pnml.lip6.fr/index.html解析pnml文件，但我沒有找到任何有用的信息，你能幫助我嗎？

-1熱度

1回答

將Petri網生成爲SVG的工具

我被要求構建Petri網引擎以用作工作中內部工作流的基礎。到目前爲止，我已經能夠生成所有的邏輯和行爲（我已經創建了一個「服務檯」類型的工作流來測試規則和條件），並且它一切正常。然而，事實證明這有點痛苦，那就是使Petri網可視化並使這種可視化自動化。我一直在考慮看看SVG拉圖程序，如： http://flowchart.js.org（流程圖） https://bramp.github.io/

0熱度

1回答

Petri網有界性

我想問一下Petri網（PN）的有界性。當我有一個國家s1 = (2 0 0)然後我找到狀態s2 = (2 0 1)，因爲s1 < s2我可以宣佈PN沒有界限？因爲當我有這個PN： PN是有界的，但你可以找到那裏（2 0 0）<（2 0 1）。所以我的問題是。我錯了Petri網的有界性，還是圖片上的PT出了問題？

3熱度

1回答

如何將一個活動圖轉換爲一個petrinet，綜合並分析它？

我正在做Petri網上的一個項目。我已經使用UML工具Umbrello生成了活動圖（以.xmi格式）。我需要將其轉換爲Petri網，然後使用工具Petrify進行綜合。但爲了將其轉換爲Petri網，必須將活動圖轉換爲XML格式。爲了使用petrify進行合成，Petri網必須轉換成.g格式，然後才轉換爲.xml格式。總之，我需要整合工具Umbrello，UML2owfn，Petrify和PIP