페트리 넷의 결정 가능성 문제: 25년간의 연구 조사

본 논문은 페트리 넷의 다양한 속성, 등가성 개념, 시간 논리에 대한 결정 가능성 문제를 다루며, 지난 25년간의 연구를 바탕으로 주요 결과를 제시하고 분석합니다.