计算机学报
計算機學報
계산궤학보
CHINESE JOURNAL OF COMPUTERS
2005年
1期
1-8
,共8页
π-网%π-演算%标号操作规则%强互模拟等价
π-網%π-縯算%標號操作規則%彊互模擬等價
π-망%π-연산%표호조작규칙%강호모의등개
该文建立了π-网的强互模拟等价关系,对π-网的结构作了进一步的研究.π-网是一类新型的基于π-演算语义的模块化高级Petri网,是对两类并发模型Petri网和π-演算的有效结合,它的并发语义既是"真正并发"的又是"交互"的.π-网的强互模拟等价是针对π-网的交互性并发语义的,是基于π-网的标号操作语义规则,并直接用π-网作为计算单元来实现的互模拟计算,使得π-网的行为能够从动态和静态两方面得到考察.该文证明了对于任意的一个π-网N,都存在一个π-进程P,在π-网与π-演算系统等价映射Ψ下,Ψ(N)与N是强互模拟的这一重要的结论.
該文建立瞭π-網的彊互模擬等價關繫,對π-網的結構作瞭進一步的研究.π-網是一類新型的基于π-縯算語義的模塊化高級Petri網,是對兩類併髮模型Petri網和π-縯算的有效結閤,它的併髮語義既是"真正併髮"的又是"交互"的.π-網的彊互模擬等價是針對π-網的交互性併髮語義的,是基于π-網的標號操作語義規則,併直接用π-網作為計算單元來實現的互模擬計算,使得π-網的行為能夠從動態和靜態兩方麵得到攷察.該文證明瞭對于任意的一箇π-網N,都存在一箇π-進程P,在π-網與π-縯算繫統等價映射Ψ下,Ψ(N)與N是彊互模擬的這一重要的結論.
해문건립료π-망적강호모의등개관계,대π-망적결구작료진일보적연구.π-망시일류신형적기우π-연산어의적모괴화고급Petri망,시대량류병발모형Petri망화π-연산적유효결합,타적병발어의기시"진정병발"적우시"교호"적.π-망적강호모의등개시침대π-망적교호성병발어의적,시기우π-망적표호조작어의규칙,병직접용π-망작위계산단원래실현적호모의계산,사득π-망적행위능구종동태화정태량방면득도고찰.해문증명료대우임의적일개π-망N,도존재일개π-진정P,재π-망여π-연산계통등개영사Ψ하,Ψ(N)여N시강호모의적저일중요적결론.
