graph - 为什么 Petri 网的可达性图中未定义最终标记的数量？

Question

我已经多次阅读和听到，可达性图是一种特殊类型的转换系统，具有一个初始和未定义数量的最终标记。

但是，如果您构建可达性图，您将拥有非常清晰的最终标记案例。这是否意味着您无法根据触发转换的方式知道哪个将是您的最终标记？因为，很明显，您可以枚举/计算最终标记的数量。

Answer 1

给定可达性图中的可达标记数可能是未定义的。在具有无限数量的可到达标记的图的情况下，它是未定义的。

Answer 2

我认为您在这种情况下误解了“未定义”的含义。要定义可达图，您需要指定状态和转换（转换系统），并且需要指定初始状态。仅此而已，定义已经完成。最终状态的集合或数量遵循此定义，但它不是定义的一部分，因此是“未定义的”。将其包含在定义中将是多余的。

将此与用作受体的有限自动机进行比较。在那里，您必须定义哪些状态正在接受（=最终）。如果没有这些信息，定义将是不完整的。