【摘 要】
：
π-网是一类新型的模块化的高级Petri网.π-网有机地结合了两类并发模型Petri网和π-演算,π-网既可称为Petri网中的π-演算,又是π-演算的Petri网形式的体现,从而在语义上实
论文部分内容阅读
π-网是一类新型的模块化的高级Petri网.π-网有机地结合了两类并发模型Petri网和π-演算,π-网既可称为Petri网中的π-演算,又是π-演算的Petri网形式的体现,从而在语义上实现了从π-演算到Petri网的一种自动翻译,较完整地解决了π-演算的分布式语义问题.在π-网中,任一π-网都可由五类基本π-网:Tau网、输入网、自由输出网、受限输出网和匹配网通过π-网的复合规则复合而成,这一结果不仅使得一个π-进程能够在π-网中得到自动的演进,也使π-网自身具有了极大的可操作性和可计算性.
其他文献
以上海电网一旦发生解列后的某些局部孤岛电网为恢复目标,运用宽度和深度搜索算法进行前期网图结构的探索,使用禁忌搜索算法建立该网图的最快恢复路径,并使用C++完成了对深度
本文根据山东省小麦白粉病发生情况50a数据资料,分析了白粉病发生消长规律及其消长原因,并对其未来发生趋势进行了分析预测。
《卫生管理运筹学》是以运筹学为体系框架,借助运筹学的理论方法 ,研究医药卫生系统最优化问题的一门课程,该课程为新疆医科大学卫生事业管理专业学生的核心课程。其通过建立
为使机器人获得人的基于力信息的作业技能,提出了用离散接触状态的变迁来建立作业的技能模型.用元素接触形式(ECF)描述定性接触状态,根据不同ECF的力信息聚类,采用改进的FCM
针对网络不良信息过滤中训练样本分布不均衡,负面样本对于训练效果无充分贡献,提出了一种利用正面训练样本建立分类模型,并基于该模型实现网络不良信息过滤的方法.模型通过选
人们生活水平的提高,使得人们对于精神文化的要求越来越高,使得影视行业的发展越来越快速。影视行业发展至今,其丰富的影视作品越来越受到大众的喜爱。戏剧影视作为由多种艺
<正>泉州一中是福建省首批办好的九所重点中学之一、省一级达标学校、省首批"示范性普通高级中学"、省首批"高中新课程实验样本校",第十一届、十二届福建省文明学校、现代教
山东栖霞牟氏庄园是中国北方规模最大、全国保存最完整、最具典型意义的封建地主庄园,其饮食文化在国内独树一帜,体现了胶东半岛鲁菜文化特色。本文力图从饮食特色、特色菜肴
介绍了一种大规模、高性能、分布式的Web信息搜集器的设计及其Java实现.提出了Crawler设计中数据结构、系统功能模块和相关算法新的设计思想;对设计与实现过程中需要解决的关
针对车辆-轨道结构动力分析问题,提出了一种基于网络并行计算环境的并行求解方法.考虑车辆和轨道结构特征,建立车辆-轨道结构动力分析模型,推求动力响应微分方程.针对推导的