동기식 Petri Net을 비동기식으로 구현할 수 없는 이유

초록

이 논문은 동기식 시스템을 비동기식으로 구현하려 할 때, 구현이 무한히 커지거나 원래 시스템의 인과 구조가 변하게 된다는 사실을 순수 M 구조를 이용한 반례를 통해 증명한다.

상세 분석

본 연구는 Petri Net을 형식적 모델로 삼아 동기식 설계와 비동기식 구현 사이의 근본적인 차이를 분석한다. 먼저 동기식 네트가 “분산 가능(distributable)”하다는 정의를 제시하고, 이를 만족하려면 모든 전이와 그 전위(place)가 동일한 물리적 위치에 존재해야 함을 보인다. 이때 전이들 사이의 동시성 관계 ⌣ 를 이용해, 전이들의 연속적인 충돌 구조가 존재하면 분산이 불가능함을 관찰한다(Observation 1). 기존 연구(