petri-net - 需要帮助理解地点转换网络中使用的地点不变量

Question

假设我知道给定地点转换网络的标记。

如何确定哪个标记是位置不变的？我也知道最初的标记。我会很欣赏一个非常容易理解的解释。

我已阅读 this paper 的第 17 页，其中描述了查找位置不变量的公式，但我不完全理解它。

请不要简单地告诉我地点不变量是什么。向我解释一下如何找到它们，以便我将来可以随时这样做。

一组地点的初始标记(U、V、W、X、Y、Z):

• (0,1,1,1,0,0)

其他标记:

1. (0,1,0,0,1,0)
2. (0,1,0,1,0,1)
3. (1,0,0,1,0,0)

Answer 1

我后来了解到，如果位置集合是 (U,V,W,X,Y,Z)，那么位置不变量就是标记总和对于每个都保持相同的集合 标记。

因此，形成地点不变量的地点集合是:

1. (U,V) - 每个标记的标记总和为 1。
2. (U、W、Y、Z) - 总和为 1。
3. (U, V, X, Y) - 总和为 2。
4. (X, Y) - 总和为 1。