1277.121 페트리 넷의 도달 가능성과 커버 가능성