是否有一个好的工具可以以图形方式对应用程序并发/锁定方案进行建模并且可以模拟某些方面？
我知道 Petri 网或多或少可以用于此目的，但我不知道可以设计和模拟的良好 GUI 工具。
UML 是否可用于此类目的？
任何好的链接都非常感谢。
问问题
675 次
7 回答
4
UML 活动图可以表示为 Petri 网（例如，参见本文）。不幸的是，我不知道任何用于模拟 Petri 网或活动图的面向工业的良好工具（但有许多学术项目很容易找到）。
您确定要模拟您的模型（通过模拟，我的意思是您实际上想坐下来看看您的 Perti 网络是如何执行的）？通常这种类型的分析适用于小而简单的算法。在现实世界的情况下，您可能希望对您的算法进行模型检查而不是模拟。我建议您检查 SPIN（许多公司使用，例如 Siemens）。我对合金和棱镜也有积极的体验。但是，如果您的重点是验证并行算法，我建议您首先考虑 SPIN。
编辑：我检查了一些模拟工具，我可以建议看看
于 2009-12-25T23:22:19.113 回答
2
我怀疑这就是你要找的东西，但我会投入两分钱：
在我的大学，在我们关于并发软件系统的课程中，我们使用了一个名为Labeled Transition System Analyzer (LTSA)的工具。它实际上是一种可以用来对系统行为进行建模的语言。
“代码”变成了状态图和转换表。
于 2009-12-27T16:32:47.307 回答
1
这是一个可以设计和运行 Petri 网 的交互式 Java 小程序。
于 2009-12-22T19:23:48.667 回答
1
我已经很久没有看过它了，但听起来托勒密 很合适。
于 2009-12-25T23:28:56.913 回答
1
你可以查看Petri Net Sim来模拟常见的/定时的/彩色的 Petrinet，它带有一个很好的 GUI，可以实时显示 Petri Net 的执行情况。
于 2011-07-31T22:33:10.153 回答
0
尝试使用并发工具 LTSA。Java 程序。（标记转换系统分析器），用于模拟程序。您可以从以下位置下载它：
但是您在使用它时必须耐心等待，学习如何使用它可能需要几个小时。在对 Java 程序建模时可能效果最好。
当然，使用 UML 模型总是好的 :)
于 2013-05-22T17:49:18.047 回答