如果 Petri-Net 模型状态处于循环状态，可达状态的数量是多少
What will be the number of reachable states if Petri-Net model states are in loop
如果我有一个 8 个位置的 Petri 网模型，8 个 Transactions.There 在这个模型中不是任何死状态，因为令牌在循环中并在第一个循环中经过所有 8 个位置。在第二个和剩余的循环中，它将经过 6 个位置，因为当执行 T5 时令牌将到达 Place3。在这里我想知道可达状态的数量。 Reachable 状态是无限的（因为循环）还是什么？
如果没有看到确切的网络就有点难以回答，但假设它是一个带有一个标记的简单循环，那么有四种状态——用标记对位置进行不同标记——无限重复。
更新
啊哈！那是一个完整的“另一锅鱼”。玉兰油，所以手工模拟吧。我通过将一根手指放在每个标记上并跟随它们来做到这一点。我要将 p_0 到 P_7 的位置命名为左上角的 P_0 和右下角的 P_7，所以左列是 P_0， P_1、P_2，中间是P_3、P_4，右边是P_5、P_6、P_7。因此，我们从标记为 {P_0,P_7}.
的地方开始
开始：
{P_0, P_7}, T_1, T_6 火.
{P_1, P_3} 和 T_1,T_4 火了。
{P_2, P_4} 和 T_2, T_5 开火了，这是关键：
{P_2, P_3, P_5} 现在都有代币了。没有 "eats" 令牌的路径，没有汇，所以每次 P_4 获得令牌时， T_5 触发，并且新令牌出现在 P_5 中。 T_5会无限次启用，令牌数量每次至少增加1，因此可达性集是无限的。
这是一个关于 Petri 网的漂亮幻灯片。 http://www.labri.fr/perso/anca/FDS/Pn-ESTII.pdf
我觉得你的网"reachable states"是无限的
我冒昧地为您的图表创建了一个交互式 PDF 版本，这样您就可以"manually"触发转换并亲眼看到从触发启用的转换中演变而来的那种标记。
Usman 的 Petri 网的交互式版本 1
这里是link：https://www.academia.edu/34702296/An_Interactive_Version_of_Usmans_Petri_Net
如果我有一个 8 个位置的 Petri 网模型，8 个 Transactions.There 在这个模型中不是任何死状态，因为令牌在循环中并在第一个循环中经过所有 8 个位置。在第二个和剩余的循环中，它将经过 6 个位置，因为当执行 T5 时令牌将到达 Place3。在这里我想知道可达状态的数量。 Reachable 状态是无限的（因为循环）还是什么？
如果没有看到确切的网络就有点难以回答，但假设它是一个带有一个标记的简单循环，那么有四种状态——用标记对位置进行不同标记——无限重复。
更新
啊哈！那是一个完整的“另一锅鱼”。玉兰油，所以手工模拟吧。我通过将一根手指放在每个标记上并跟随它们来做到这一点。我要将 p_0 到 P_7 的位置命名为左上角的 P_0 和右下角的 P_7，所以左列是 P_0， P_1、P_2，中间是P_3、P_4，右边是P_5、P_6、P_7。因此，我们从标记为 {P_0,P_7}.
的地方开始开始：
{P_0, P_7}, T_1, T_6 火.
{P_1, P_3} 和 T_1,T_4 火了。
{P_2, P_4} 和 T_2, T_5 开火了，这是关键：
{P_2, P_3, P_5} 现在都有代币了。没有 "eats" 令牌的路径，没有汇，所以每次 P_4 获得令牌时， T_5 触发，并且新令牌出现在 P_5 中。 T_5会无限次启用，令牌数量每次至少增加1，因此可达性集是无限的。
这是一个关于 Petri 网的漂亮幻灯片。 http://www.labri.fr/perso/anca/FDS/Pn-ESTII.pdf
我觉得你的网"reachable states"是无限的
我冒昧地为您的图表创建了一个交互式 PDF 版本，这样您就可以"manually"触发转换并亲眼看到从触发启用的转换中演变而来的那种标记。
Usman 的 Petri 网的交互式版本 1
这里是link：https://www.academia.edu/34702296/An_Interactive_Version_of_Usmans_Petri_Net