为啥 Petri 网的可达性图中未定义最终标记的数量？

Posted 2023-02-23

【中文标题】为啥 Petri 网的可达性图中未定义最终标记的数量？

【英文标题】：Why the number of Final Markings is undefined in reachability graph of Petri Net?为什么 Petri 网的可达性图中未定义最终标记的数量？

【发布时间】：2017-01-09 09:43:41

【问题描述】：

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

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

【参考方案1】：

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

【参考方案2】：

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

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