Petri网有界性

Question

我想问一下Petri网（PN）的有界性。当我有一个国家s1 = (2 0 0)然后我找到状态s2 = (2 0 1)，因为s1 < s2我可以宣布PN没有界限？因为当我有这个PN：

PN是有界的，但你可以找到那里（2 0 0）<（2 0 1）。 所以我的问题是。我错了Petri网的有界性，还是图片上的PT出了问题？

Answer 1

这个网络是有界的。你可以通过构建它的可达性图来检查它。

最初只有一个转换t1已启用。因此s1=(2 0 0)只有一个后继状态s2 = (1 1 0)。下面是完整的可达图

此外观察，没有过渡，其具有多个传出弧比传入弧，因此在网不能增加的令牌的数量。这被称为不变的。从这个观察结果你可以推断，从永远不能达到(2 0 1)状态。