이름을 가진 페트리망의 결정 문제

초록

nu-PN은 이름 생성과 관리가 가능한 P/T 네트의 확장 모델이다. 논문은 nu-PN의 도달 가능성은 비결정적이며, 억제 아크가 있는 기존 네트로부터 환원함으로써 이를 증명한다. 반면, 커버러빌리티와 종료성, 그리고 폭‑제한성은 잘 구조화된 전이 시스템(WSTS) 성질을 이용해 결정 가능함을 보인다. 깊이‑제한성은 반대로 불가능함을 증명하고, 모든 결정 가능한 문제는 Ackermann‑하드 수준의 복잡도를 가진다.

상세 분석

nu-PN은 전통적인 P/T 페트리망에 순수한 이름 생성 연산(ν)과 이름 비교·복제 메커니즘을 추가한 모델이다. 이러한 확장은 시스템이 동적으로 식별자를 만들어내고, 그 식별자를 기반으로 동작을 제어할 수 있게 함으로써, 억제 아크(inhibitor arcs)를 갖는 네트와 동등한 표현력을 제공한다. 논문은 먼저 억제 아크가 있는 네트의 도달 가능성 문제를 nu-PN으로 다항식 시간 내에 환원함으로써, nu-PN의 도달 가능성이 일반적으로 결정 불가능함을 간단히 증명한다. 이는 nu-PN이 순수 P/T 네트보다 엄격히 강력함을 의미한다.

다음으로 저자들은 nu-PN이 Well Structured Transition System(WSTS)임을 입증한다. 핵심은 토큰에 부착된 이름들의 멀티셋을 부분 순서(⊑)로 정렬하고, 이 순서가 wqo(well‑quasi‑order)를 만족한다는 점이다. 이름 생성 연산은 새로운 최소 원소를 도입하지만, 전체 시스템은 여전히 위계적 구조를 유지한다. 따라서 커버러빌리티(특정 마크를 초과하는 마크가 존재하는가)와 종료성(모든 실행이 유한 단계 내에 멈추는가)은 기존 WSTS 이론에 따라 결정 가능하다. 특히, 커버러빌리티는 역전파 알고리즘을 통해 가산적인 전이 전개 없이도 해답을 구할 수 있다.

nu-PN이 “strictly” WSTS임을 보인 점도 주목할 만하다. 이는 순서가 단순히 wqo가 아니라, 각 마크가 무한히 늘어날 수 없는 “bounded” 구조를 갖는다는 의미다. 이 성질을 이용해 boundedness 문제, 즉 시스템이 무한히 많은 토큰을 생성할 수 있는가를 결정 가능하게 만든다. 저자들은 boundedness를 두 개의 하위 개념인 폭‑제한성(width‑boundedness)과 깊이‑제한성(depth‑boundedness)으로 분해한다. 폭‑제한성은 토큰이 차지할 이름 공간의 크기가 제한되는지를 묻는 것이며, 기존 연구에서 이미 결정 가능함이 알려져 있다. 반면, 깊이‑제한성은 개별 이름이 토큰에 의해 얼마나 깊게 중첩·복제될 수 있는지를 측정한다. 논문은 깊이‑제한성이 결정 불가능함을, 이름 생성과 복제 메커니즘이 무한히 중첩될 수 있는 구조를 구성함으로써 증명한다. 이는 nu-PN이 표현력 면에서 Turing 머신에 도달하지는 않지만, 여전히 복잡한 무한 구조를 내포하고 있음을 보여준다.

마지막으로, 모든 결정 가능한 문제(coverability, termination, boundedness, width‑boundedness)에 대해 Ackermann‑hardness를 입증한다. 이는 문제들의 복잡도가 Ackermann 함수 수준으로 급격히 증가함을 의미하며, 실용적인 알고리즘 설계에 큰 도전 과제를 제시한다. 전반적으로 논문은 nu-PN이 전통적인 페트리망보다 풍부한 동적 식별자 관리 기능을 제공하면서도, WSTS 이론을 통해 핵심 분석 문제들을 결정 가능하게 만든다는 중요한 이론적 기여를 한다.