如果我有一个 8 个地方和 8 个事务的 Petri 网模型。这个模型中没有任何死状态,因为令牌处于循环中并且在第一个循环中经过所有 8 个地方。在第二个和剩余的循环中,它将经过 6 个位置,因为执行 T5 时令牌将到达 Place3。在这里,我想知道可达状态的数量。可达状态是无限的(因为循环)还是什么?
2 回答
如果没有看到确切的网络,这有点难以回答,但假设它是一个带有一个标记的简单循环,那么就有四种状态——用标记标记位置的不同标签——无限重复。
更新
啊哈!那是一个完整的“另一壶鱼”。玉兰油,所以手动模拟它。我通过将一根手指放在每个令牌上并跟随它们来做到这一点。我将通过左上角的 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
我认为你的网络的“可达状态”的数量是无限的。
我冒昧地为您的图表创建了一个交互式 PDF 版本,这样您就可以“手动”触发转换,并亲自查看触发启用的转换后演变的标记类型。
Usman 的 Petri 网1的交互式版本
这是链接:https ://www.academia.edu/34702296/An_Interactive_Version_of_Usmans_Petri_Net