Petri网有界性
Petri net boundedness
我想问一下petri网(PN)有界性。当我有一个状态 s1 = (2 0 0) 然后我找到状态 s2 = (2 0 1) 所以因为 s1 < s2 我可以声明 PN 为 NOT bounded 吗？因为当我有这个 PN 时：
PN 是有界的，但你可以找到 (2 0 0) < (2 0 1)。
所以我的问题是。是我对 Petri 网有界性的理解有误还是图片上的 PT 有问题？
这张网是有界的。您可以通过构建其可达性图来检查这一点。
最初只启用一个转换 t1。因此s1=(2 0 0)只有一个后继国s2 = (1 1 0)。这是完整的可达性图
还观察到没有任何转移的出弧比入弧多，因此网络中的令牌数不能增加。这称为 不变量 。从这个观察中，您可以得出状态 (2 0 1) 永远无法从 (2 0 0).
达到
我想问一下petri网(PN)有界性。当我有一个状态 s1 = (2 0 0) 然后我找到状态 s2 = (2 0 1) 所以因为 s1 < s2 我可以声明 PN 为 NOT bounded 吗？因为当我有这个 PN 时：
PN 是有界的，但你可以找到 (2 0 0) < (2 0 1)。 所以我的问题是。是我对 Petri 网有界性的理解有误还是图片上的 PT 有问题？
这张网是有界的。您可以通过构建其可达性图来检查这一点。
最初只启用一个转换 t1。因此s1=(2 0 0)只有一个后继国s2 = (1 1 0)。这是完整的可达性图
还观察到没有任何转移的出弧比入弧多，因此网络中的令牌数不能增加。这称为 不变量 。从这个观察中，您可以得出状态 (2 0 1) 永远无法从 (2 0 0).