国家科技成果网
热门搜索:  激光   高分子   石油   并网   纳米   太阳能光伏
扫描二维码关注国科网

国家科技成果网 首页 成果 查看内容

并发系统的PN机理论与方法研究

2000年 基础理论
  • 成果简介
  建立了PN机理论体系,同自动机模型、Petri网模型、CSP和CCS相比,PN机模型不仅具有并发特征,表达的信息更为广泛,而且在各层语言族上都能提供一个物理结构和行为机制集成统一的有限加标图模型,从而为并发系统提供一个新的强有力的可操作模型。...
相关成果

标签云

相关机构

Copyright 2001-2020 All Rights Reserved© 国科网 版权所有
国家科技成果信息服务平台 主管单位:科学技术部火炬高技术产业开发中心
京ICP备09035943号-33 京公网安备110401400097
在线客服系统