如果我有一个 8 个地方和 8 个事务的 Petri 网模型。这个模型中没有任何死状态，因为令牌处于循环中并且在第一个循环中经过所有 8 个地方。在第二个和剩余的循环中，它将经过 6 个位置，因为执行 T5 时令牌将到达 Place3。在这里，我想知道可达状态的数量。可达状态是无限的（因为循环）还是什么？
问问题
391 次
2 回答
0
如果没有看到确切的网络，这有点难以回答，但假设它是一个带有一个标记的简单循环，那么就有四种状态——用标记标记位置的不同标签——无限重复。
更新
啊哈！那是一个完整的“另一壶鱼”。玉兰油，所以手动模拟它。我通过将一根手指放在每个令牌上并跟随它们来做到这一点。我将通过左上角的 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} 现在都有令牌。没有“吃掉”令牌的通路，没有汇，所以每次 P_4 获得令牌时，T_5 都会触发，并且 P_5 中会出现一个新令牌。T_5 会被无限频繁地启用，token 的数量每次至少增长 1，因此可达性集是无限的。
这是 Petri 网上的一个不错的幻灯片。http://www.labri.fr/perso/anca/FDS/Pn-ESTII.pdf
于 2015-08-16T13:02:34.423 回答
0
我认为你的网络的“可达状态”的数量是无限的。
我冒昧地为您的图表创建了一个交互式 PDF 版本，这样您就可以“手动”触发转换，并亲自查看触发启用的转换后演变的标记类型。
Usman 的 Petri 网1的交互式版本
这是链接：https ://www.academia.edu/34702296/An_Interactive_Version_of_Usmans_Petri_Net
于 2015-08-23T05:14:51.843 回答