有色Petri网的边界标准

Question

是否有算法检查有色Petri网的边界标准（意味着状态空间是有限的）（或者这个属性是不可判定的）？

Answer 1

是的，如果状态空间为无限，则状态图的构造算法将中止。 基本上，它的作用是检查是否到达了另一个状态，该状态具有严格较小的标记（至少一个成分较小，而所有成分较小或相等）可以达到当前标记。如果是这样，由于Petri网的单调性，该网络具有无限的状态空间。