它们都代表了系统可能采取的不同状态。那么Petri网和有限状态机有什么区别？我何时使用Petri网，何时使用有限状态机？

有理论的Petri网：http://en.wikipedia.org/wiki/Petri_net 还有以BPMN 2.0表示的工作流程。 它们之间到底有什么区别？我问这个问题是因为我们想简化用BPMN建模的业务流程（普通人不关心/不使用它），并将其更改为在智能手机上使用的“一维”形式（如...

有没有可以绘制Petri网并从中生成任何源代码的软件？源代码可以是任何已知的编程语言... 稍微不太理想的选项是在某个开放格式的文本文件中输出仅包含Petri网图形描述的文件，例如XML或任何其他数据语言。然后我可以自己编写代码生成器，但至少我想避免GUI /图形开发部分；） 谢谢

有没有一款好的工具可以以图形方式建模应用程序并发/锁定方案，并且可以模拟其中的某些方面？ 我知道Petri网可以更多或更少地用于此目的，但我不知道有什么好的GUI工具可以进行设计和模拟。 UML在这方面是否可用？ 非常感谢任何好的链接。