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

Question

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

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

Answer 1

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

Answer 2

Я думаю, вы неверно истолковали значение слова "undefined" в этом контексте. Чтобы определить граф достижимости, вам необходимо указать состояния и переходы (систему переходов), а также указать начальное состояние. Не более того, определение уже закончено. Набор или количество конечных состояний следует из этого определения, но они не являются частью определения, следовательно, "undefined". Было бы излишним включать его в определение.

Сравните это с конечными автоматами, используемыми в качестве акцепторов. Здесь вы должны определить, какие состояния принимаются (=final). Без этой информации определение было бы неполным.