[논문 리뷰] Small Polynomial Time Universal Petri Nets

Dmitry A. Zaitsev|arXiv (Cornell University)|2013. 09. 27.

Petri Nets in System Modeling참고 문헌 7인용 수 3

한 줄 요약

이 논문은 14개의 장소와 29개의 전이를 가진 작고 보편적인 페트리 넷이 기존에 지수 시간 복잡도를 가진다고 여겨졌으나, 금기 화살표와 이동하는 0을 사용한 역방향 제어 흐름을 통해 시간적 페트리 넷으로 해석할 경우 다중채널 전이를 갖는 다항 시간 복잡도로 개선될 수 있음을 보여준다. 결과적으로 결정적 산술 페트리 넷(DAPN)은 선형 시간 내에 약한 보편 튜링 기계를 시뮬레이션하며, 이는 작은 보편 페트리 넷이 고성능 계산을 위한 효율적인 모델임을 입증한다.

ABSTRACT

The time complexity of the presented in 2013 by the author small universal Petri nets with the pairs of places/transitions numbers (14,42) and (14,29) was estimated as exponential. In the present paper, it is shown, that their slight modification and interpretation as timed Petri nets with multichannel transitions, introduced by the author in 1991, allows obtaining polynomial time complexity. The modification concerns using only inhibitor arcs to control transitions' firing in multiple instances and employing an inverse control flow represented by moving zero. Thus, small universal Petri nets are efficient that justifies their application as models of high performance computations.

연구 동기 및 목표

• 이전에 구성된 작은 보편 페트리 넷의 비효율성, 즉 지수 시간 복잡도를 해결하기 위해.
• 기존의 작은 보편 페트리 넷에 대한 미세한 수정이 시간 복잡도를 극적으로 향상시킬 수 있음을 보여주기 위해.
• 금기 화살표와 이동하는 0을 사용한 역방향 제어 흐름이 다항 시간 계산을 가능하게 하는 이유를 규명하기 위해.
• 결정적 산술 페트리 넷(DAPN)의 개념을 도입하고 체계화하기 위해.
• 작은 보편 페트리 넷이 보편 튜링 기계 및 기타 계산 모델을 다항 시간 내에 시뮬레이션할 수 있음을 보여주기 위해.

제안 방법

• 논문은 존재하는 작은 보편 페트리 넷(UPN(14,29))을 수정하여, 튜링 기계의 제어 헤드의 왼쪽 이동을 명시적으로 표현하기 위해 새로운 장소 LEFT를 도입한다.
• 다중 전이의 동시 발화를 제어하기 위해 오직 금기 화살표만을 사용하여 결정적 행동을 보장하고 지수적 팽창을 방지한다.
• 전통적인 토큰 기반 검사 대신 조건 검사를 위해 이동하는 0을 메커니즘으로 사용하여 제어 흐름을 역전시킨다.
• 수정된 넷은 각 전이의 발화 시간이 1이고 채널 수가 무제한인 다중채널 전이를 갖는 시간적 페트리 넷으로 해석된다.
• 결정적 산술 페트리 넷(DAPN)이라는 새로운 페트리 넷의 클래스를 정의하며, 이는 사전형(Quadruple) (P, T, F, μ⁰)로 표현되며, 결정적 금기 화살표 페트리 넷과 시간적 다중채널 전이를 결합한다.
• 다이내믹스는 인덱스 순서로 전이를 우선순위 정렬하고, 나눗셈과 0 검사를 포함하는 via 연산을 통해 발화 횟수를 계산하는 순차적 발화 규칙을 통해 정의된다.

실험 결과

연구 질문

• RQ1 14개의 장소와 29개의 전이를 가진 작은 보편 페트리 넷이 다항 시간 복잡도를 달성하도록 수정할 수 있는가?
• RQ2 금기 화살표와 이동하는 0을 사용한 역방향 제어 흐름이 페트리 넷에서 효율적 계산을 가능하게 하는 데 어떤 역할을 하는가?
• RQ3 페트리 넷을 시간적 넷으로 해석하고 다중채널 전이를 사용할 경우 시간 복잡도에 어떤 영향을 미치는가?
• RQ4 수정된 모델이 약한 보편 튜링 기계를 선형 시간 내에 시뮬레이션할 수 있는가?
• RQ5 기본적으로 다항 시간 내에 셀룰러 오토마타나 태그 시스템과 같은 다른 계산 모델을 시뮬레이션할 수 있는 보편 페트리 넷을 구성할 수 있는가?

주요 결과

• UPN(14,29)에서 유도된 수정된 페트리 넷 PolyUPN(15,29)은 WUTM(2,4)을 시간 O(14·k)와 공간 O(k) 내에서 시뮬레이션하며, 여기서 k는 튜링 기계의 단계 수이다.
• 수정된 넷의 시간 복잡도는 다항식이며, 특히 시뮬레이션된 약한 보편 튜링 기계의 단계 수에 대해 선형이다.
• 금기 화살표와 이동하는 0을 사용한 역방향 제어 흐름의 사용은 넷이 결정적이고 효율적인 방식으로 튜링 기계 전이를 시뮬레이션할 수 있도록 한다.
• 넷의 행동은 결정적 산술 페트리 넷(DAPN)으로 체계화되며, 이는 각 단계에서 유효한 최대 전이 집합을 동기적으로 발화할 수 있도록 한다.
• 이 구성은 작은 보편 페트리 넷이 보편 튜링 기계뿐 아니라 셀룰러 오토마타, 순환 태그 시스템, 2-태그 시스템과 같은 다른 모델을 다항 시간 내에 시뮬레이션할 수 있음을 보여준다.
• 결과적으로 작은 보편 페트리 넷이 고성능 계산을 위한 효율적인 모델임을 확인하며, 페트리 넷 기반 계산 철학에서의 활용을 정당화한다.