中国科学院计算技术研究所机构知识库

浏览/检索结果: 共9条，第1-9条

帮助

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序WOS被引频次升序WOS被引频次降序提交时间升序提交时间降序期刊影响因子升序期刊影响因子降序题名升序题名降序发表日期升序发表日期降序
	基于CPEBSDL通信协议的Petri网建模方法 期刊论文 计算机工程, 2008, 卷号: 34.0, 期号: 006, 页码: 16 作者:  范昊;  吴哲辉 收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04 协议验证  协议测试  LAPD协议  Petri网  Petri网进程
	无权访问的条目 期刊论文 作者:  范 昊;  吴哲辉 Adobe PDF(568Kb)  |  收藏  |  浏览/下载：0/0  |  提交时间：2010/10/13
	通信协议的实体行为描述语言CPEBSDL 期刊论文 计算机研究与发展, 2007, 卷号: 44.0, 期号: 011, 页码: 1839 作者:  范昊;  吴哲辉 收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04 通信协议  描述语言  交互行为  实体  BSDL语言  行为描述  语言规则  CPE
	正规表达式与恰当终结的标准Petri网 期刊论文 计算机工程, 2007, 卷号: 33.0, 期号: 017, 页码: 13 作者:  范昊;  吴哲辉 收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04 恰当终结的标准Petri网  Petri网  正规语言  正规表达式  语言
	多主体计划的Petri网方法及其研究 期刊论文 计算机工程, 2006, 卷号: 32.0, 期号: 014, 页码: 4 作者:  马炳先;  吴哲辉;  徐颖蕾 收藏  |  浏览/下载：12/0  |  提交时间：2023/12/04 主体  多主体系统  计划  Petri网
	多主体行为冲突的Petri网方法研究 期刊论文 计算机工程, 2006, 卷号: 32.0, 期号: 009, 页码: 13 作者:  马炳先;  吴哲辉;  徐颖蕾 收藏  |  浏览/下载：11/0  |  提交时间：2023/12/04 智能主体  多主体系统  冲突  Petri网
	一种兼顾协议正确性验证和性能评估的Petri网方法 期刊论文 计算机科学, 2005, 卷号: 32.0, 期号: 012, 页码: 48 作者:  范昊;  吴哲辉;  曾庆田 收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04 协议验证  形式化分析  时延Petri网  协议性能评估  0-1停止等待协议
	Petri网语言的同步交运算 期刊论文 小型微型计算机系统, 2004, 卷号: 25.0, 期号: 002, 页码: 216 作者:  曾庆田;  吴哲辉 收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04 Petri网  同步交  语言  分解  合成
	无界Petri网的进程表达式 期刊论文 计算机学报, 2003, 卷号: 26.0, 期号: 012, 页码: 1629 作者:  曾庆田;  吴哲辉 收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04 无界Petri网  进程表达式  进程行为  模型化