[论文解读] A Small Universal Petri Net

Dmitry A. Zaitsev|arXiv (Cornell University)|Sep 5, 2013

DNA and Biological Computing参考文献 8被引用 5

一句话总结

本文提出一种具有14个库所和29个变迁的通用确定性抑制剂佩特里网（UPN），通过模拟Neary与Woods的弱通用图灵机（2个状态，4个符号）构建而成。该网通过一种新颖的空白字词模拟技术以及从双标记系统到图灵机的转换，实现了标准通用性，能够在指数时间内、多项式空间内模拟任意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.

研究动机与目标

• 构建一个最小化的通用佩特里网，实现标准通用性，避免使用较弱的形式。
• 通过引入空白字词模拟技术，扩展先前关于通用佩特里网的研究，以模拟弱通用图灵机。
• 通过构建从双标记系统到图灵机的模拟，填补DIPN到双标记系统转换链中的空白。
• 实现比以往构造更小的通用佩特里网，将变迁数减少13个。
• 建立完整的模拟链：DIPN → 双标记系统 → 图灵机 → WUTM → 通用DIPN。

提出的方法

• 使用确定性抑制剂佩特里网（DIPN）模拟Neary与Woods的(2,4)弱通用图灵机。
• 引入专用变迁，在磁带头到达工作区边界时插入空白字词编码（w_l 和 w_r）。
• 构建一种新的图灵机，可在O(k²)时间内、O(k)空间内模拟双标记系统，其中k为应用的产生式数量。
• 利用双标记系统到图灵机的模拟，完成从DIPN编码到通用网执行的完整链路。
• 在DIPN中应用基于优先级的触发规则，使变迁按数值顺序触发，以确保确定性。
• 使用整数向量和弧重数对DIPN的标记与变迁行为进行编码，嵌入到通用网中。

实验结果

研究问题

• RQ1 能否构造出比以往最小构造更少变迁数的通用佩特里网？
• RQ2 如何在确定性抑制剂佩特里网中有效模拟空白字词插入，以模拟弱通用图灵机？
• RQ3 基于(2,4) WUTM的通用佩特里网模拟给定DIPN的时间与空间复杂度是多少？
• RQ4 双标记系统能否被图灵机以多项式时间与空间开销模拟？
• RQ5 通过WUTM模拟实现标准通用性的最小通用佩特里网的规模是多少？

主要发现

• 所构造的通用佩特里网包含14个库所和29个变迁，相比先前工作减少了13个变迁。
• 该网通过在磁带边界模拟空白字词插入，实现了标准通用性，而非较弱形式。
• 双标记系统由图灵机模拟的时间复杂度为O(k²)，空间复杂度为O(k)，其中k为应用的产生式数量。
• 整体模拟链路（DIPN → 双标记系统 → 图灵机 → WUTM → 通用DIPN）的时间复杂度为O(z·5^z)，空间复杂度为O(z)，其中z = k²⁴·log¹²k。
• 由于WUTM与双标记系统的模拟，通用网的时间复杂度随目标DIPN的步数呈指数增长。
• 该网具有确定性，因其基于优先级的触发规则会选择编号最小的可触发变迁，从而确保行为可预测。