페트리 넷의 도달 가능성 그래프에서 왜 최종 마킹 수가 정의되지 않습니까?

Question

나는 여러 번 읽고 들었습니다. 도달 성 그래프는 특정 유형의 전환 시스템으로, 초기 표시는 이고 최종 표시는입니다.

그러나 도달 가능성 그래프를 구성하면 최종 표시가 매우 명확합니다. 이것은 전환을 시작하는 방법에 따라 최종 마킹이 무엇인지 알 수 없다는 뜻입니까? 최종 표식의 수를 열거/계산할 수 있기 때문에 분명합니다.

Answer 1

주어진 도달 가능성 그래프에서 도달 가능한 표시의 수는 아마도 정의되지 않을 수 있습니다. 도달 할 수있는 마킹 수가 무한한 그래프의 경우 정의되지 않습니다.