플레이스·트랜지션 시스템을 위한 추상 프로세스 이론

초록

**
본 논문은 토큰의 개별성에 의존하는 기존 GR‑프로세스가 과도하게 상세하다는 문제를 해결하고자, Best‑Devillers가 제안한 “스와핑” 동등성을 이용해 GR‑프로세스를 묶은 BD‑프로세스를 정의한다. 특히 토큰 중복에 의한 동시성과 충돌을 명확히 구분한 구조적 충돌 네트(Structural Conflict Nets)에서, 충돌이 없는 경우에만 유일한 최대 추상 프로세스가 존재함을 증명한다.

**

상세 분석

**
이 논문은 Petri‑net 이론에서 오래된 난제인 “일반 P/T 시스템에 대한 적절한 인과론적 실행 모델”을 재조명한다. 기존의 개별 토큰 해석(Individual‑Token Interpretation)은 토큰을 그 발생 이력에 따라 구분함으로써 Goltz‑Reisig(GR) 프로세스를 만든다. 그러나 다중 토큰이 같은 장소에 존재할 때, 동일한 전이의 실행이 어느 토큰을 소모했는가에 따라 서로 다른 GR‑프로세스가 생성돼, 실제 시스템이 갖는 ‘충돌이 없는’ 직관과 모순된다. 저자들은 이를 해결하기 위해 Best와 Devillers가 제안한 “스와핑(swap) 동등성”을 도입한다. 스와핑은 두 GR‑프로세스가 동일한 인과 구조를 가지면서 토큰 선택만 다를 경우 동등하다고 판단한다. 이 동등성에 의해 형성된 동치류를 BD‑프로세스라 명명하고, 이를 ‘추상 프로세스(abstract process)’의 후보로 제시한다.

논문의 핵심 기여는 두 단계로 나뉜다. 첫째, BD‑프로세스가 1‑안전(One‑Safe) 네트와 같은 경우에는 기존 GR‑프로세스와 동일한 의미를 유지함을 보이며, 이는 기존 이론과의 호환성을 확보한다. 둘째, 일반적인 다중 토큰 상황을 다루기 위해 ‘구조적 충돌 네트(Structural Conflict Nets)’라는 새로운 클래스의 P/T 시스템을 정의한다. 이 클래스는 (i) 충돌(conflict)과 (ii) 토큰 중복에 의한 동시성(concurrency)이 명확히 구분되도록 설계되었다. 구조적 충돌 네트에서는 ‘구문적 충돌(syntactic conflict)’과 ‘의미적 충돌(semantic conflict)’이 일치한다는 중요한 성질을 갖는다.

이러한 전제 하에 저자들은 두 가지 주요 정리를 증명한다. 첫 번째 정리는 구조적 충돌 네트에서 스와핑 동등성에 의해 형성된 BD‑프로세스의 최대 원소가 유일하려면 네트 자체가 충돌‑프리(conflict‑free)이어야 한다는 것이다. 즉, 충돌이 존재하면 여러 개의 최대 BD‑프로세스가 발생할 수 있다. 두 번째 정리는 반대로, 충돌‑프리 구조적 충돌 네트는 정확히 하나의 최대 BD‑프로세스를 갖는다는 것을 보인다. 이를 위해 기존의 BD‑프로세스 정의를 ‘발화 시퀀스(firing sequences)’의 동치류와 직접 연결하는 대안적 기술을 활용한다. 발화 시퀀스 동등성은 인접 전이들의 교환(swap)으로 정의되며, 이는 스와핑 동등성과 동치임을 보인다. 이 접근법을 통해 복잡한 토큰 흐름을 직접 다루지 않고도 최대 추상 실행이 유일함을 증명할 수 있다.

결과적으로, 논문은 기존의 개별 토큰 해석이 제공하던 과도한 상세성을 버리고, 토큰을 집합적(collective)으로 바라보는 새로운 인과론적 의미론을 제시한다. 특히 구조적 충돌 네트라는 제한적이지만 실용적인 클래스 내에서 BD‑프로세스가 완전하고 직관적인 실행 모델이 됨을 입증함으로써, 일반적인 다중 토큰 P/T 시스템에 대한 ‘추상 실행’ 정의 문제에 실질적인 해답을 제공한다.

**