有沒有一種工具來模擬/模擬軟件併發？

Question

是否有一個好的工具可以模擬應用程序併發/鎖定方案的圖形方式，並可以模擬一些方面？

我知道Petri網可以用於或多或少的，但我不知道一個好的GUI工具，可以設計和模擬。

UML是否可用於此目的？

任何良好的聯繫，非常感激。

Answer 1

UML活動圖可以表示爲Petri網（例如see this paper）。不幸的是，我不知道任何用於Petri網或活動圖模擬的工業導向工具（但有很多學術項目可以輕鬆找到）。

你確定要模擬你的模型嗎（通過模擬我的意思是你真的想坐下來看看你的Perti網絡是如何執行的）？通常這種類型的分析適用於小而簡單的算法。在現實世界的情況下，你可能會想要做你算法的model checking而不是模擬。我建議你檢查SPIN（許多公司都使用過，例如西門子）。我也有積極的經驗Alloy和Prism。但如果你的重點是驗證並行算法，我建議你首先考慮SPIN。

編輯：我查了一些工具，用於模擬，我可以建議你看一看

1）http://sourceforge.net/projects/visual-petri/

2）http://www.renew.de/

3）http://www.winpesim.de/index.html

Answer 2

Here is an interactive Java applet它可以設計和運行一個Petri網。

Answer 3

SPIN是一種流行的分佈式系統驗證工具，但是隻有命令行我認爲。但是在Spin網頁上有一個指向密切相關的GUI工具的鏈接，這個工具叫做GOAL

Answer 4

這是一個很長的時間，因爲我已經看過它，但聽起來像Ptolemy將是一個不錯的選擇。

Answer 5

我懷疑這是你在找什麼，但我會在我的兩分錢拋出：

在我的大學，在我們的併發軟件系統類中，我們使用一個名爲Labelled Transition System Analyser (LTSA)工具。它實際上是一種可以用來模擬系統行爲的語言。

「代碼」變成狀態圖和轉換表。

Answer 6

您可以檢查Petri Net Sim，模擬常見/定時/彩色Petrinets，它帶有一個很好的GUI，可以實時顯示Petri Net的執行情況。

Answer 7

嘗試使用併發工具LTSA。 Java程序。 （Labeled Transition System Analyzer）來模擬程序。你可以從這裏下載：

http://www.doc.ic.ac.uk/ltsa/

但是你必須要有耐心，而使用它，它可以採取幾個小時來學習如何使用它。在對Java程序進行建模時可能效果最好。

當然，使用UML模型總是很好:)