[논문 리뷰] A Small Universal Petri Net

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

DNA and Biological Computing참고 문헌 8인용 수 5

한 줄 요약

이 논문은 14개의 장소와 29개의 전이를 가진 일반적인 결정론적 인hibitor Petri 네트워크(UPN)를 제안한다. 이 네트워크는 Neary와 Woods의 약한 유니버설 튜링 기계(2개 상태, 4개 기호)를 시뮬레이션하여 구성되었으며, 표준 유니버설성을 달성하기 위해 새로운 빈 단어 시뮬레이션 기법과 bi-tag 시스템에서 튜링 기계로의 번역을 통해 임의의 DIPN을 지수 시간 내에 다항 시간 공간에서 시뮬레이션할 수 있다.

ABSTRACT

A universal deterministic inhibitor Petri net with 14 places, 29 transitions and 138 arcs was constructed via simulation of Neary and Woods' weakly universal Turing machine with 2 states and 4 symbols; the total time complexity is exponential in the running time of their weak machine. To simulate the blank words of the weakly universal Turing machine, a couple of dedicated transitions insert their codes when reaching edges of the working zone. To complete a chain of a given Petri net encoding to be executed by the universal Petri net, a translation of a bi-tag system into a Turing machine was constructed. The constructed Petri net is universal in the standard sense; a weaker form of universality for Petri nets was not introduced in this work.

연구 동기 및 목표

• 표준 유니버설성을 달성하는 최소 크기의 유니버설 Petri 네트워크를 구축함으로써 약한 형태를 피하기 위해.
• 이전의 유니버설 Petri 네트워크 연구를 확장하여 약한 유니버설 튜링 기계를 모방하기 위해 빈 단어 시뮬레이션을 통합함으로써.
• DIPN에서 bi-tag 시스템으로의 번역 체인의 갭을 메우기 위해 bi-tag 시스템에서 튜링 기계로의 시뮬레이션을 구축함으로써.
• 이전의 구성보다 더 작은 유니버설 Petri 네트워크를 달성하여 전이 수를 13개 줄임으로써.
• 완전한 시뮬레이션 체인을 확립함: DIPN → bi-tag 시스템 → TM → WUTM → 유니버설 DIPN.

제안 방법

• 결정론적 인hibitor Petri 네트워크(DIPN)를 사용하여 Neary와 Woods의 (2,4) 약한 유니버설 튜링 기계를 시뮬레이션함.
• 작업 영역의 가장자리에 테이프 헤드가 도달할 때마다 빈 단어 코드(w_l과 w_r)를 삽입하는 전용 전이를 도입함.
• bi-tag 시스템을 O(k²) 시간과 O(k) 공간 내에서 시뮬레이션하는 새로운 튜링 기계를 구축함. 여기서 k는 적용된 생성 규칙의 수이다.
• bi-tag 시스템에서 튜링 기계로의 시뮬레이션을 활용하여 DIPN 인코딩에서 유니버설 넷 실행까지의 체인을 완성함.
• DIPN에서 우선순위 기반의 발화 규칙을 적용하여 전이가 수치 순서대로 발화되도록 하여 결정론적 동작을 보장함.
• 유니버설 넷에서 DIPN의 마킹과 전이 행동을 정수 벡터와 아크 다중성으로 인코딩함.

실험 결과

연구 질문

• RQ1 이전의 최소 구성보다 더 적은 전이 수를 가진 유니버설 Petri 네트워크를 구축할 수 있는가?
• RQ2 결정론적 인hibitor Petri 네트워크에서 빈 단어 삽입을 효과적으로 시뮬레이션하여 약한 유니버설 튜링 기계를 모방할 수 있는가?
• RQ3 주어진 DIPN을 (2,4) WUTM 기반의 유니버설 Petri 네트워크로 시뮬레이션할 때의 시간 및 공간 복잡도는 어떻게 되는가?
• RQ4 bi-tag 시스템은 다항 시간 및 공간 오버헤드로 튜링 기계에 의해 시뮬레이션될 수 있는가?
• RQ5 약한 유니버설 튜링 기계 시뮬레이션을 통해 표준 유니버설성을 달성하는 최소 크기의 유니버설 Petri 네트워크는 얼마인가?

주요 결과

• 구축된 유니버설 Petri 네트워크는 14개의 장소와 29개의 전이를 가지며, 이는 이전 작업 대비 전이 수를 13개 줄인 것이다.
• 네트워크는 테이프 경계에서 빈 단어 삽입을 시뮬레이션하여 표준 유니버설성을 달성한다. 이는 더 약한 형태가 아니다.
• bi-tag 시스템의 튜링 기계 시뮬레이션은 O(k²) 시간과 O(k) 공간 내에서 수행되며, 여기서 k는 적용된 생성 규칙의 수이다.
• 전체 시뮬레이션 체인(DIPN → bi-tag 시스템 → TM → WUTM → 유니버설 DIPN)은 지수 시간 복잡도 O(z·5^z)와 다항 시간 공간 O(z)를 가지며, 여기서 z = k²⁴·log¹²k이다.
• 유니버설 넷의 시간 복잡도는 WUTM과 bi-tag 시스템의 시뮬레이션으로 인해 대상 DIPN의 단계 수에 대해 지수적으로 증가한다.
• 우선순위 기반의 발화 규칙에 의해 가장 낮은 인덱스를 가진 발화 가능한 전이가 선택되므로 네트워크는 결정론적이다. 이는 예측 가능한 동작을 보장한다.