递归无穷Petri网2011pps.PPTVIP

谈谈无穷 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网的定