RIPN定义24递归无穷Petri网-科学网—博客.PPT

谈谈无穷 Petri 网 谈谈…… 过去过于匆忙，学理论学得不深、不透，还常伴随错误的理解。 如今静下心来，仔细啄磨一些过去没有想明白的问题，还颇有收获和情趣。 谈谈学习的心得，与同行们共享。 提纲 无穷Petri网 可执行的无穷Petri网 递归无穷Petri网(RIPN) RIPN同图灵机的等价证明思路 1. 无穷Petri网 一般在讨论和应用Petri网时，总假定Petri网的位置集和转移集合是有穷集合。如果允许它们是无穷集合，则称其为无穷Petri网。 当初Petri构造模型时限制为有穷，自然有它的考量，但是它毕竟限制了Petri网的表达能力。 无穷Petri网的定义 定义1.1（无穷Petri网） 我们称一个Petri网（P,T,F）是无穷Petri网，如果它的位置集P和转移集T是无穷集合。由无穷Petri网构成的网系统（P,T,F,M0）称为无穷Petri网系统。 无法执行的无穷Petri网的例子 例如，可以定义这样一个无穷Petri网（P,T,F） 。 其中P是实数（有理数和无理数）集合，每一个实数a对应一个位置Pa。 T是自然数集合，每一个数n对应一个转移Tn。 F这样构成：对于任何转移Tn?T， ?Tn ={ Px | x?(n,n+1)而且x是无理数}， Tn? ={ Px | x?(n,n+1) 而且x是有理数}。 显然，这样的无穷Petri网的定义是清楚的，但是这样的Petri网系统无法执行。 无穷Petri网的例子 无穷Petri网的研究价值。 研究这样的无穷Petri网有什么意义？ 注意一个事实：不要以为所有的无穷Petri网系统都是难以捉摸，不可执行的。还有些无穷Petri网是可以执行的。 能否对无穷Petri网作些具体分析，看怎样的无穷Petri网可以执行，有研究意义。 去掉“有穷”限制能否扩展Petri网的表达能力。 这就是无穷Petri网研究的价值。 无穷Petri网有研究的必要 资料中对于无穷Petri网的研究确实太少，缺乏认真的分析和研究。 我认为无穷Petri网有研究的必要，使Petri网成为一个完整的模型。 转移激发的判定和执行 对无穷Petri网，如果我们限制所有的转移的入弧数和出弧数是有穷的，这样转移的激发就能够判定和执行。 由于任何转移的 ?t 和 t ? 都是有穷集合，因而t 的可激发（enable）是可检测的，t的激发（fire）后转移托肯的动作也是可完成的。 2. 可执行无穷Petri网 如果我们限制所有的转移的入弧数和出弧数是有穷的，再加上限制：每一步只允许执行有穷个互不冲突转移的激发。 无穷Petri网系统就可以同有穷Petri网系统一样地执行。 我们把这样的无穷Petri网的子类称为可执行无穷Petri网 可执行Petri网的定义 定义1.2（可执行Petri网） 我们称一个无穷Petri网（P,T,F）是可执行Petri网，如果对于任何转移t?T, t的前驱位置集?t 和后继位置集t ? 都是有穷集合。可执行Petri网构成的网系统（P,T,F,M0）称为可执行Petri网系统。 执行的限制：每一步只允许执行有穷个互不冲突转移的激发。 可执行无穷Petri网的例子 乘法器：无穷Petri网（P,T,F）， P是自然数的集合{ P0, P1 ,……}， T是所有的自然数对偶的集合{ T00, T01, T02, T03…, T10 T11,………}， F: 如果t=(a,b)，则 ?t={Pa, Pb}, t ?={Pa?b}。 显然这是一个可执行Petri网。例如，标识中P2和P4中有托肯，显然可检测到T（2，4）可激发，激发后P2和P4中的托肯转移到P8中。 可执行无穷Petri网的例子 乘法器 可执行无穷Petri网的例子 因子分解器 3. 递归无穷Petri网(RIPN) 我们今天着重介绍的是，可执行无穷Petri网的一个子类，称为递归无穷Petri网（RIPN，Recursive Infinite Petri Nets）。 所谓递归是指：无穷Petri网由两个有穷Petri网（一个称基始一个称递归模板），按照如下的方法来动态地构造。 RIPN的构造方法 以基始Petri网为基础， 然后同由递归模板逐个生成的具有同样结构的有穷Petri网，按照一定的方法一个一个地串连起来。 具体说就是用共享接口中的位置和转移的方法来动态地构造。 n-接口有穷Petri网 有穷Petri网，指定n个接口,I1,…In， n-接口有穷Petri网 定义2.1（n-接口有穷Petri网） 一个n-接口网（P,T,F,I1,…In），就是一个有穷Petri网，再指定n个接口,I1,…In，其中每个接口都是由P和T中的不同位置和转移作为元素组成的列表，即