Почему число окончательных обозначений не определено в графе достижимости Петри-Сети?

Question

Я читал и слышал несколько раз, что граф достижимости - это особый тип переходной системы, с одним начальным и НЕ УКАЗАННЫЙ номер окончательной маркировки.

Но если вы построите граф достижимости, у вас есть очень четкие случаи окончательной маркировки. Означает ли это, что вы не можете знать, какая будет ваша окончательная маркировка, в зависимости от того, как вы запускаете переходы? Потому что, очевидно, что вы можете перечислить/подсчитать количество окончательной маркировки.

Answer 1

Число допустимых меток в заданном графе достижимости, возможно, не определено. Он не определен в случае графика, который имеет бесконечное число достижимых меток.