Graph 为什么Petri网的可达图中没有定义最终标记的数目？

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

但是，如果你构建可达性图，你就有了非常清晰的最终标记案例。这是否意味着您无法根据如何触发转换来确定最终标记？

---

因为，很明显，您可以枚举/计算最终标记的数量。

给定可达性图中的可达标记数量可能未定义。对于具有无限多个可到达标记的图形，它是未定义的。

我认为您在本文中误解了“未定义”的含义。要定义可达性图，需要指定状态和转换（转换系统），并且需要指定初始状态。除此之外，定义已经完成。最终状态的集合或数量遵循此定义，但它不是定义的一部分，因此为“未定义”。将其纳入定义是多余的

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