페트리넷과 생물 모델링의 시너지 활용

초록

본 논문은 전통적인 동시성 모델인 페트리넷과 생물학적 계산 모델인 막 시스템·반응 시스템 사이의 구조적·의미론적 유사성을 탐색한다. 멀티셋 기반의 변환 규칙을 공유하는 점을 출발점으로, 막 시스템을 페트리넷으로 변환하고, 지역성을 도입해 구획을 표현한다. 반응 시스템의 질적 규칙은 카운팅을 배제한 ‘셋넷’이라는 새로운 페트리넷 변형을 제안한다. 이러한 상호 연계는 양쪽 모델의 분석 도구와 이론을 교차 활용할 수 있는 기반을 제공한다.

상세 분석

논문은 먼저 페트리넷이 동시성·분산 시스템의 형식 모델로서 풍부한 검증 도구와 정형 의미론을 갖추고 있음을 강조한다. 이어서 막 시스템과 반응 시스템을 생물학적 현상의 추상화 모델로 소개하면서, 두 모델이 모두 멀티셋 재작성 시스템이라는 공통 구조를 공유한다는 점을 발견한다. 이 공통점을 바탕으로 저자들은 기본 막 시스템을 페트리넷으로 변환하는 체계적인 절차를 제시한다. 변환 과정에서 중요한 요소는 ‘지역성(locality)’이다. 막의 구획은 페트리넷의 장소(place)에 지역 라벨을 부여함으로써 구현되며, 이는 토큰이 특정 구획 내에서만 이동하고 반응할 수 있게 만든다. 그러나 지역성을 도입하면 기존의 인과 관계(causality) 의미론이 깨질 위험이 있다. 저자들은 이를 해결하기 위해 ‘지역 동기화 실행(local synchronised executions)’이라는 새로운 실행 모델을 제안하고, 인과 관계를 보존하면서도 구획 간 상호작용을 정확히 기술한다.

반응 시스템에 대해서는 보다 근본적인 차이가 존재한다. 반응 시스템은 반응의 존재·부재를 질적(qualitative)으로 기술하며, 토큰의 수량을 고려하지 않는다. 따라서 전통적인 멀티셋 기반 페트리넷은 직접 적용하기 어렵다. 이를 극복하기 위해 저자들은 ‘셋넷(set‑net)’이라는 새로운 페트리넷 변형을 정의한다. 셋넷에서는 장소에 다중 토큰이 아닌 ‘집합(set)’ 형태로 토큰이 존재하며, 전이(transition)는 입력 집합이 완전히 포함될 때만 활성화된다. 이 구조는 반응 시스템의 ‘촉진(facilitation)’과 ‘억제(inhibition)’ 메커니즘을 자연스럽게 모델링한다. 또한 셋넷에 지역성을 결합하면, 막 시스템의 질적 진화 규칙과도 일대일 대응이 가능함을 보인다.

전체적으로 논문은 세 가지 모델 간의 의미론적 매핑을 체계화함으로써, 페트리넷의 강력한 분석 도구(예: 토큰 흐름 분석, 불변식 검증)를 막·반응 시스템에 적용할 수 있는 길을 연다. 동시에 생물학적 모델링의 요구에 맞춰 페트리넷 자체를 확장·수정함으로써, 형식 모델링 분야에 새로운 연구 방향을 제시한다.