Petri网有界

Question

我想问一下petri网（PN）的有界性。当我有一个状态s1 = (2 0 0)然后我找到状态s2 = (2 0 1)所以，因为s1 < s2我可以声明PN为无界限吗？因为我有这个PN：

PN是有界的，但你可以找到那里（2 0 0）＆lt; （2 0 1）。 所以我的问题是。我对Petri网的有限性是错误的还是PT上的错误？

Answer 1

这个网络有限。您可以通过构建其可访问性图表来检查这一点。

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

同时观察到没有比传入弧更多的传出弧的转换，因此网中的令牌数量不能增加。这称为一个不变的。根据这一观察结果，您可以得出(2 0 1)永远无法达到状态(2 0 0)。