흐르는 사물의 기계와 페트리넷

초록

본 논문은 페트리넷을 ‘흐르는 사물의 기계(Machines of Things That Flow, MoT)’라는 모델링 언어에 매핑함으로써, 페트리넷의 의미론을 새로운 관점에서 재해석한다. 여러 페트리넷 다이어그램을 흐름 기반으로 분석하고, 이 접근법이 페트리넷의 기본 가정과 구조를 탐색하는 데 유용함을 보인다.

상세 분석

페트리넷은 토큰의 이동을 통해 시스템의 동시성·비결정성을 시각화하는 전통적인 도구이다. 그러나 토큰 자체가 ‘무엇’인지, 그리고 토큰이 이동하는 ‘장소’와 ‘전이’가 실제 시스템 요소와 어떻게 대응되는지는 종종 모호하게 남는다. 저자는 이러한 모호성을 해소하기 위해 ‘흐르는 사물의 기계(MoT)’라는 개념을 도입한다. MoT는 사물이 생성·전달·변환·소멸되는 일련의 흐름 과정을 기계적 구조로 모델링한다는 전제에 기반한다.

논문은 먼저 페트리넷의 기본 구성요소인 장소(place), 전이(transition), 토큰(token)을 MoT의 네 가지 기본 연산인 생성(create), 전송(transfer), 변환(transform), 소멸(destroy)와 대응시킨다. 장소는 사물이 머무는 ‘저장소(storage)’로, 전이는 사물의 상태 변화를 일으키는 ‘작동(machine)’으로 해석된다. 토큰은 실제 사물 자체가 아니라 사물의 ‘속성(attribute)’ 혹은 ‘정보 단위(information unit)’로 간주한다. 이러한 매핑을 통해 토큰의 이동은 사물의 흐름이 기계에 의해 변환되는 과정으로 재구성된다.

다음으로 저자는 세 가지 대표적인 페트리넷 예시(단순 순차 흐름, 병렬 분기·합류, 자가소비 루프)를 선택해 MoT 관점에서 재분석한다. 예를 들어, 순차 흐름에서는 생성 연산이 초기 토큰을 만들고, 전이 A가 변환·전송을 수행해 다음 장소로 이동한다는 식으로 서술한다. 병렬 구조에서는 전이가 복수의 전송 연산을 동시에 발생시켜 여러 흐름을 분기시키고, 합류 전이는 여러 입력 흐름을 하나의 변환 연산으로 집약한다. 자가소비 루프는 소멸 연산과 재생성 연산이 순환적으로 결합된 형태로, 시스템의 자기조절 메커니즘을 설명한다.

이러한 사례 분석을 통해 저자는 MoT가 페트리넷의 동작을 보다 구체적인 물리·정보 흐름으로 전환시켜, 모델링 언어 간 의미적 일치를 검증하는 도구가 될 수 있음을 주장한다. 또한, MoT 기반 해석은 페트리넷이 암묵적으로 가정하는 ‘동시성의 원자성’이나 ‘무한 토큰 공급’ 같은 가정을 명시적으로 드러내어, 모델링 오류를 사전에 탐지하는 데 기여한다.

마지막으로 논문은 현재 MoT와 페트리넷 간 매핑이 초기 단계이며, 보다 복잡한 색상 페트리넷, 타이밍 페트리넷, 하이브리드 시스템 등에 대한 확장이 필요함을 인정한다. 그러나 기본적인 흐름‑기계 대응 관계가 확립되면, 다른 그래픽 모델링 기법(예: BPMN, SysML)과의 상호 변환에도 활용 가능할 것으로 기대한다.