petri-net - Petri 网建模

我遇到了一个花了我很多时间但我还没有解决的问题，问题是用 Python 编写的应用程序的 Petri 网的建模看起来如何？如果有任何代码和Petri网表示（建模）的例子，请告诉我，谢谢大家。

我知道 Petri 网由箭头、状态（位置）和转换（事件）组成

标签： petri-net

您不能只是将任何随机程序（无论是什么语言）翻译成 Petri 网模型。模型是抽象的，因此您必须决定程序的哪些状态足够重要以成为模型的一部分。然后你必须弄清楚如何在地方用标记来表示这些状态。然后你必须弄清楚如何用转换来描述状态变化。

这听起来对你来说太模糊了吗？那是因为你的问题太宽泛了。您的 Python 应用程序可以是文本编辑器、HTTP 服务器、粒子模拟器、国际象棋游戏。在不知道您要建模的内容的情况下，我们无法帮助您创建模型。