시간 지연을 활용한 막 구조 시스템과 페트리 네트의 통합 연구

초록

본 논문은 시간 지연을 도입한 막 구조 시스템(타임드 멤브레인 시스템)과 지역성을 갖는 타임드 페트리 네트 사이의 형식적 연계를 제시한다. 두 모델 모두 시간 확장이 표현력을 증가시키지는 않지만, 실제 생물학적 현상을 보다 자연스럽게 기술할 수 있다. 또한, 두 형식 사이의 연산적 대응을 증명한다.

상세 분석

논문은 먼저 기존의 막 구조 시스템과 페트리 네트가 각각 자원과 병렬성을 명시적으로 모델링한다는 점을 강조한다. 특히 세포 내 분자 반응은 시간 척도가 10⁻¹⁵초에서 10⁴초까지 다양하고, 물질 수가 10⁻¹⁰에서 10²⁰까지 폭넓게 변한다는 생물학적 배경을 제시하며, 이러한 현상을 모델링하기 위해 ‘시간’이라는 추가 차원을 도입한다.

막 구조 시스템에 대한 정의(Definition 1)에서는 알파벳 V, 계층적 막 구조 µ, 각 막에 할당된 초기 멀티셋 wᵢ, 규칙 집합 Rᵢ, 그리고 규칙 실행 시간을 반환하는 함수 e를 포함한다. 규칙은 a → v 형태이며, v는 (a,here), (a,out), (a,in j)와 같은 메시지 형태로 객체 이동을 지정한다. 시간은 전역 클록에 의해 관리되며, 규칙 r이 j번째 틱에 시작되면 j+e(r)번째 틱에 종료되고, 생성된 객체는 그 다음 틱부터 사용 가능하다.

시스템의 전이 정의는 두 단계로 구성된다. 첫 번째는 ‘maximal parallel rewriting (mpr)’ 단계로, 가능한 모든 규칙을 동시에 적용한다(하지만 같은 객체가 동시에 두 규칙에 사용되지 않도록 보장). 두 번째는 ‘parallel communication (tar)’ 단계로, 규칙에 의해 생성된 메시지를 실제로 이동시킨다. 전이 C ⇒ C′는 C ⟶ₘₚᵣ Ĉ ⟶ₜₐᵣ C′ 형태로 정의된다.

핵심 정리는 Proposition 1이다. 저자는 임의의 타임드 막 구조 시스템 Π에 대해, 동일한 동작을 수행하는 무시간(untimed) 시스템 Π′를 구성할 수 있음을 증명한다. 구체적으로, 최대 지연 m = max₍r∈R₎ e(r) 를 구하고, 원래 알파벳 V에 지연 단계별 복제 기호 aⱼ (0 ≤ j ≤ m‑1)를 추가한다. 규칙 e(r)=0인 경우는 그대로 복사하고, e(r)>0인 경우는 aⱼ → aⱼ₋₁ 형태의 ‘시계’ 규칙과 최종 a₀ → a 규칙을 삽입해 시간 흐름을 시뮬레이션한다. 이렇게 하면 각 타임드 전이 단계가 무시간 시스템의 여러 전이 단계에 대응하고, 원래 알파벳 V에 대한 객체 수는 정확히 일치한다.

이와 유사하게, 논문은 지역성을 갖는 타임드 페트리 네트(Timed Petri Nets with Localities)를 정의하고, 각 트랜지션에 지연 함수를 부여한다. 페트리 네트의 장소는 막 구조의 각 영역에 대응하고, 로컬리티는 막 라벨과 일치한다. 저자는 두 모델 사이에 구조적·동작적 대응을 구축함으로써, 타임드 막 구조 시스템의 실행이 동일한 타임드 페트리 네트의 실행과 일대일로 매핑됨을 보인다. 이는 ‘operational correspondence’라 불리며, 두 형식이 같은 계산 능력을 갖는 동시에, 시간 정보를 동일하게 보존한다는 의미다.

결과적으로, 시간 확장이 표현력을 확대하지는 않지만, 모델링 편의성과 자연스러운 생물학적 해석을 제공한다는 점을 강조한다. 또한, 타임드 멤브레인 시스템과 타임드 페트리 네트 간의 형식적 연결 고리는 두 분야 연구자들이 서로의 도구와 기법을 교환·응용할 수 있는 기반을 마련한다.