[論文レビュー] Small Universal Petri Nets with Inhibitor Arcs

Sergiu Ivanov, Elisabeth Pelz+1 more|arXiv (Cornell University)|Dec 16, 2013

Petri Nets in System Modeling参考文献 6被引用数 6

ひとこと要約

本稿では、インヒビタアークを備えた強力なユニバーサル・ペトリ・ネットの6通りの新規構成を提示し、場所、遷移、インヒビタアーク、最大遷移次数の4つの記述的複雑さパラメータを最適化する。共有レジスタ・チェックサブネットと効率的な符号化技術を導入することで、最小構成が達成され、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.

研究の動機と目的

• 場所、遷移、インヒビタアーク、最大遷移次数というキーパラメータを最小化する、インヒビタアークを備えた小型ユニバーサル・ペトリ・ネットの構築を目的とする。
• 特に、インヒビタアーク数と遷移数を減らしながらも強力なユニバーサル性を維持するという点に注目し、これらの4つのパラメータ間のトレードオフを調査する。
• 共有チェックサブネットと効率的な符号化戦略を活用することで、レジスタマシンのシミュレーションを効果的に行う既存の構成を改善する。
• 特にインヒビタアーク数に関して、最小ユニバーサル・ペトリ・ネットの tighter な境界を確立する。これは、決定性制約から、インヒビタアーク数が2以上であることが示されている。
• 決定的レジスタマシンのシミュレーションが、決定的インヒビタアーク付きペトリ・ネットに忠実かつ効率的に翻訳可能であることを示す。

提案手法

• 著者らは、強力なユニバーサル性を保ちつつ、決定性とシミュレーションの正確性を維持する形で、ユニバーサル・レジスタマシン（特にコレツの弱いユニバーサル・マシンU22）をインヒビタアーク付きペトリ・ネットに体系的に翻訳する。
• 主な革新点として、1レジスタあたり3つの場所で動作する共有レジスタ・チェックサブネットを導入し、RiZM（レジスタゼロテストおよびデクリメント）命令をシミュレートすることで、インヒビタアーク総数をわずか8本にまで削減する。
• 制御フローのシミュレーションには、専用の場所を用いた状態追跡メカニズムを採用し、遷移が命令実行および条件分岐をモデル化する。
• レジスタ値および命令列の符号化は、トークン伝達メカニズムにより実現され、インヒビタアークがレジスタ内容に基づく条件付き遷移を可能にする。
• 本手法により、インヒビタアーク数を減らす代わりに場所と遷移数を増やす、または遷移数を減らす代わりに遷移の最大次数を増やすといったトレードオフが可能となる。
• 著者らは、符号化関数と復号化関数が恒等写像であることを証明することで、強力なユニバーサル性を検証し、ユニバーサル性が符号化の複雑さによって弱められていないことを確認する。

実験結果

リサーチクエスチョン

• RQ1 強力なユニバーサル・ペトリ・ネットにインヒビタアークを備える場合、必要な最小の場所数、遷移数、インヒビタアーク数、最大遷移次数はそれぞれどれほどか？
• RQ2 共有チェックサブネットは、ユニバーサル・ペトリ・ネット構成におけるインヒビタアーク数を顕著に削減できるか？
• RQ3 このようなネットにおいて、インヒビタアーク数と遷移数または場所数との間にはどのようなトレードオフがあるか？
• RQ4 1つのインヒビタアークが到達可能性問題の決定性をもたらすため、2つのインヒビタアークのみを有するユニバーサル・ペトリ・ネットを構築することは可能か？
• RQ5 決定的ユニバーサル・レジスタマシンを、決定的インヒビタアーク付きペトリ・ネットに忠実かつ効率的に翻訳する方法は何か？

主な発見

• 本稿では、インヒビタアークを備えた6通りの強力なユニバーサル・ペトリ・ネットを構築し、以下のパラメータセットを達成した：(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に引き上げており、遷移数と次数の間のトレードオフを示している。
• 構築されたすべてのネットは決定的であり、強力なユニバーサル性を有しており、符号化・復号化関数が恒等写像であるため、ユニバーサル性が符号化の複雑さによって弱められていないことが確認された。