序佩特里（Petri）网计算能力分析-PersonalWebPages.docVIP

序佩特里（Petri）网计算能力分析 王永革 南开数学研究 On the Computing Power of Ordered Petri Nets Wang Yongge ( Nankai Institute of Mathematics Nankai University) Abstract Based on the parallel computation model Petri Net, well introduce a kind of Ordered Petri Nets, whose computing power is much more stronger compared with Petri Net, by giving a partial order on the transition set of Petri Net, and define a parallel model of computing machine: Ordered Petri Net Computing Machine. In the last section, it is proved that this kind of machine can compute all the general recursive functions, and so it can be regarded as the basic model of computing machine. 摘要 本文通过引进序 Petri 网的概念，定义了序 Petri 网计算机，最后讨论该机器的计算能力： 它可以计 算所有的一般递归函数。 §０. 引 言 图灵机一直被认为是最基本的计算模型，人们也相信图灵论题的正确性，即：形式可计算的一定是图灵机可计算的，反过来也成立。为证明这一论题，数学家与计算机科学家引进了多种计算模型，诸如 URM 机器、 Post 产生式系统等等。不过这些模型都是串行模型，目前并行计算机迅速发展，人工智能与神经网络的研究结果也表明，人脑是并行思维的。本文借助于并发处理中的 Petri 网，定义了序 Petri 网，从而大大加强了 Petri 网作为计算模型时的计算能力与计算的确定性。最后，我们引进并行计算模型：序 Petri 网计算机，并讨论 这种机器可与图灵机一样作为基本计算模型的依据。 §１. 定义及预备知识 定义1.1 设Ｓ是任一集合，Ｓ上的一个二元关系，如果适合反身性、反对称性和传递性，就说是Ｓ的一 个偏序关系，通常用符号“≤”表示。即“≤”是Ｓ上的一个二元关系，适合 １） ｘ∈Ｓ：ｘ≤ｘ， ２） ｘ，ｙ∈Ｓ：（ｘ≤ｙ）∧（ｙ≤ｘ）→ｘ＝ｙ， ３） ｘ，ｙ，ｚ∈Ｓ：（ｘ≤ｙ）∧（ｙ≤ｚ）→ｘ≤ｚ。 定义1.2 具有偏序关系≤的集合Ｓ记作（Ｓ，≤），叫做偏序集。 例1.1 设Ａ是任意集合，Ｓ＝2A（Ａ的所有子集的集合），“≤”表示Ｓ的子集间的包含关系，即 ｘ，ｙ\in Ｓ：ｘ≤y iff ｘ\subset ｙ，则（Ｓ，≤）是一个偏序集。 定义1.3 设Ｓ是任一集合，Ｒ为Ｓ上的满足反对称性的二元关系，则称关系≤R 为由Ｒ生成的Ｓ上 的偏序 关系，记为≤R＝Ｒ*；如果≤R 满足 １） ｘ∈Ｓ：ｘ≤Rｘ； ２） ｘ，ｙ∈Ｓ：（ｘ，ｙ）∈Ｒ→ｘ≤R ｙ； ３） ｘ，ｙ，ｚ∈Ｓ：（ｘ≤Rｙ）∧（ｙ≤Rｚ）→ｘ≤R。 定义1.4 三元式（Ｐ，Ｔ；Ｆ）称为一个有向网，当且仅当 Ｐ∩Ｔ＝ ， Ｐ∪Ｔ≠ ，Ｆ Ｐ×Ｔ ∪Ｔ×Ｐ， dom（Ｆ）∪ cod（Ｆ）＝Ｐ∪Ｔ。同时，Ｐ中的元素称为库所，Ｔ中的元素称为变迁。对于 ｘ∈Ｐ∪Ｔ，记 .ｘ＝{.|(y,x)∈F}, x.={y|(x,y)∈F}. 定义1.5 八元式 ( P, T; F, In, out, on, off; ≤T) 称为一个序 Petri 网计算机, 当且仅当（Ｐ， Ｔ；Ｆ） 是一个有向网，In P 是输入库所集合，out ∈P 是输出库所，on∈P 是启动开关，off∈P 是结 束开关，≤T T×T 是变迁集 T 上的一个偏序，即（Ｔ；≤T）是一个偏序集。 通常我们用一个有向图来表示有向网或序 Petri 网计算机，如图 1 便是一个简单的序 Petri 网计算机 图1 位置 其中 Ｐ＝｛In, out, on, off, p1, p2｝； Ｔ＝｛t1, t2, t3, t4, t5｝； Ｆ为各条有向弧；