【摘 要】
：
该文建立了π-网的强互模拟等价关系,对π-网的结构作了进一步的研究.π-网是一类新型的基于π-演算语义的模块化高级Petri网,是对两类并发模型Petri网和π-演算的有效结合,
【机 构】
：
上海交通大学电子信息学院,上海交通大学电子信息学院
论文部分内容阅读
该文建立了π-网的强互模拟等价关系,对π-网的结构作了进一步的研究.π-网是一类新型的基于π-演算语义的模块化高级Petri网,是对两类并发模型Petri网和π-演算的有效结合,它的并发语义既是"真正并发"的又是"交互"的.π-网的强互模拟等价是针对π-网的交互性并发语义的,是基于π-网的标号操作语义规则,并直接用π-网作为计算单元来实现的互模拟计算,使得π-网的行为能够从动态和静态两方面得到考察.该文证明了对于任意的一个π-网N,都存在一个π-进程P,在π-网与π
其他文献
本文主要介绍了地铁车辆空气制动系统所配置的空气干燥器的工作原理、常见故障及对策,对深入了解制动系统,有效解决现场问题提供有益的借鉴。
传统计算机免疫系统检测器训练效率低下，自体／非自体定义缺乏动态的演化机制，适应性较差，不能满足真实网络环境下网络监控的需求．有鉴于此，该文提出了一种新型的基于免疫的网络监控
该文根据建模基础的不同,对目前处在研究热点中的几个重要协议形式模型进行了分类分析.它们可以分为4类:基于知识演化系统的模型;基于规则推理系统的模型;基于代数演算系统的
提出了一种新的寄存器重命名机制——两级分配多可用重命名寄存器,简称2L-MuRR,其特点如下：（1）对重命名寄存器文件（RRF）的占用要经过两级重命名和分配过程,减少了无效占用时间.（2）RR
描述了1个新种,即安徽苦草,并提供了该属全部已知国产种的分种检索表。