And*_*ich 8 concurrency modeling petri-net
有没有一个好的工具可以用图形方式建模应用程序并发/锁定方案,并且可以模拟某些方面？
我知道Petri网可以或多或少地用于它,但我不知道一个可以设计和模拟的好的GUI工具.
UML以任何方式可用于此类目的吗？
任何好的链接都非常感谢.
UML 活动图可以表示为 Petri 网（例如，请参阅本文）。不幸的是，我不知道有什么好的面向工业的工具来模拟 Petri 网或活动图（但是您可以轻松找到许多学术项目）。
您确定要模拟您的模型吗（通过模拟，我的意思是您实际上想坐下来看看您的 Perti 网络是如何执行的）？通常这种类型的分析适用于小型且简单的算法。在现实世界中，您可能希望对算法进行模型检查而不是模拟。我建议您检查SPIN（许多公司都使用它，例如西门子）。我对Alloy和Prism也有积极的体验。但如果您的重点是验证并行算法，我建议您首先考虑 SPIN。
编辑：我检查了一些模拟工具，我可以建议看看
1）http://sourceforge.net/projects/visual-petri/
3）http://www.winpesim.de/index.html