[논문 리뷰] Small Universal Petri Nets with Inhibitor Arcs

Sergiu Ivanov, Elisabeth Pelz외 1명|arXiv (Cornell University)|2013. 12. 16.

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

한 줄 요약

이 논문은 금기 화살표를 가진 강력한 유니버설 페트리 넷의 여섯 가지 새로운 구성법을 제시하며, 장소, 전이, 금기 화살표, 최대 전이 차수의 네 가지 서술적 복잡도 매개변수를 최적화한다. 공유 레지스터-체크 서브넷과 효율적인 인코딩 기법을 도입함으로써, 11개의 장소와 31개의 전이를 가진 네트워크를 포함한 최소 구성이 달성되었으며, 페트리 넷을 이용한 유니버설 계산 분야에서 이전의 한계를 크게 향상시켰다.

ABSTRACT

We investigate the problem of construction of small-size universal Petri nets with inhibitor arcs. We consider four descriptional complexity parameters: the number of places, transitions, inhibitor arcs, and the maximal degree of a transition, each of which we try to minimize. We give six constructions having the following values of parameters (listed in the above order): $(30,34,13,3)$, $(14, 31, 51, 8)$, $(11, 31, 79, 11)$, $(21,25,13,5)$, $(67, 64, 8, 3)$, $(58, 55, 8, 5)$ that improve the few known results on this topic. Our investigation also highlights several interesting trade-offs.

연구 동기 및 목표

• 장소, 전이, 금기 화살표, 최대 전이 차수의 핵심 서술적 복잡도 매개변수를 최소화하는 강력한 유니버설 페트리 넷(금기 화살표 포함)을 구성하는 것.
• 특히 금기 화살표 수와 전이 수를 줄이면서도 강력한 유니버설성을 유지하는 조건에서 이 네 가지 매개변수 간의 상호 교환 관계를 탐색하는 것.
• 공유 체크 서브넷과 효율적인 인코딩 전략을 활용하여 레지스터 머신 시뮬레이션을 개선함으로써 기존 구성법을 향상시키는 것.
• 특히 금기 화살표 수에 대해 더 견고한 하한선을 설정하는 것 — 결정 가능성 제약 조건에 의해 최소 두 개의 금기 화살표가 필요하다는 것이 입증됨.
• 결정적 레지스터 머신 시뮬레이션을 결정적 페트리 넷(금기 화살표 포함)으로 충실하고 효율적으로 변환할 수 있음을 보여주는 것.

제안 방법

• 저자는 강력한 유니버설 레지스터 머신 — 구체적으로 코렉의 약한 유니버설 머신 U22 — 를 금기 화살표가 있는 페트리 넷으로 체계적으로 변환하며, 결정성과 시뮬레이션의 정확성을 유지한다.
• 핵심 혁신은 각 레지스터당 단지 세 개의 장소로만 구성된 공유 레지스터-체크 서브넷을 도입함으로써, RiZM(레지스터 0 검사 및 감소) 명령어를 시뮬레이션할 수 있도록 하여 금기 화살표 총 수를 단 8개로 줄이는 것.
• 제어 흐름을 시뮬레이션하기 위해 전용 장소를 사용하는 상태 추적 메커니즘이 도입되며, 전이들은 명령어 실행과 조건부 분기 구조를 모델링한다.
• 레지스터 값과 명령어 시퀀스의 인코딩은 토큰 전달 메커니즘을 통해 이루어지며, 금기 화살표는 레지스터 내용에 기반한 조건부 전이를 가능하게 한다.
• 이 방법은 상호 교환 가능성을 허용한다: 금기 화살표 수를 줄이기 위해 장수와 전이 수를 늘릴 수 있으며, 또는 전이 수를 줄이기 위해 전이의 최대 차수를 늘릴 수 있다.
• 저자는 강력한 유니버설성을 입증함으로써 구성의 타당성을 검증하였으며, 인코딩 및 디코딩 함수가 항등함수임을 보장함으로써 가장 강력한 유니버설성 개념을 충족시켰다.

실험 결과

연구 질문

• RQ1 강력한 유니버설 페트리 넷(금기 화살표 포함)에서 장소, 전이, 금기 화살표, 최대 전이 차수의 최소 수는 각각 얼마인가?
• RQ2 공유 체크 서브넷은 유니버설 페트리 넷 구성에서 금기 화살표 수를 크게 줄일 수 있는가?
• RQ3 이러한 넷에서 금기 화살표 수와 전이 수 또는 장소 수 사이에 어떤 상호 교환 관계가 존재하는가?
• RQ4 금기 화살표 수가 한 개일 경우 도달 가능성 문제의 결정 가능성이 보장되므로, 금기 화살표가 딱 두 개인 유니버설 페트리 넷을 구성할 수 있는가?
• RQ5 결정적 유니버설 레지스터 머신을 결정적 페트리 넷(금기 화살표 포함)으로 충실하고 효율적으로 변환할 수 있는가?

주요 결과

• 논문은 여섯 개의 강력한 유니버설 페트리 넷(금기 화살표 포함)을 구성하였으며, 다음의 매개변수 조합을 달성하였다: (30,34,13,3), (14,31,51,8), (11,31,79,11), (21,25,13,5), (67,64,8,3), 및 (58,55,8,5).
• 공유 레지스터-체크 서브넷을 사용함으로써 금기 화살표 수가 단 8개로 줄어들었으며, 이는 이전 구성법의 최대 79개의 금기 화살표에 비해 상당한 향상이다.
• 11개의 장소와 31개의 전이를 가진 구성은 장소 수와 전이 수 측면에서 최소 구성이며, 이론적 하한선인 25개의 전이에 근접하고 있다.
• 67개의 장소와 64개의 전이를 가진 네트워크는 금기 화살표 수가 최소 8개에 머무르며 최대 전이 차수도 3으로 낮게 유지되어 있다.
• 58개의 장소와 55개의 전이를 가진 네트워크도 동일하게 최소 금기 화살표 수(8개)를 유지하지만, 최대 전이 차수를 5로 높여 전이 수와 차수 사이의 상호 교환 관계를 보여주고 있다.
• 모든 구성된 네트워크는 결정적이며 강력한 유니버설성을 가지며, 인코딩 및 디코딩 함수가 항등함수이므로, 유니버설성이 인코딩 복잡성으로 약화되지 않았음을 확인한다.