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

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

帮助

限定条件	作者：曾庆田    第一作者

已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择期刊影响因子升序期刊影响因子降序发表日期升序发表日期降序提交时间升序提交时间降序作者升序作者降序WOS被引频次升序WOS被引频次降序题名升序题名降序
	基于变迁指标的Petri网分解方法 期刊论文 计算机科学, 2006, 卷号: 33.0, 期号: 1.0, 页码: 144 作者:  曾庆田 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 Petri网  变迁指标  分解  可达状态  语言  Petri网分解  分解方法  变迁  结构性质  子系统
	S-网的进程表达式及求取方法研究 期刊论文 计算机科学, 2006, 卷号: 33, 期号: 10, 页码: 225 作者:  段华;  曾庆田 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 Petri网  S-网  进程  进程表达式
	一种兼顾协议正确性验证和性能评估的Petri网方法 期刊论文 计算机科学, 2005, 卷号: 32.0, 期号: 012, 页码: 48 作者:  范昊;  吴哲辉;  曾庆田 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 协议验证  形式化分析  时延Petri网  协议性能评估  0-1停止等待协议
	Petri网语言的同步交运算 期刊论文 小型微型计算机系统, 2004, 卷号: 25.0, 期号: 002, 页码: 216 作者:  曾庆田;  吴哲辉 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 Petri网  同步交  语言  分解  合成
	S-网的活性分析 期刊论文 小型微型计算机系统, 2004, 卷号: 25.0, 期号: 011, 页码: 1975 作者:  段华;  曾庆田 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 Petri网  S-网  S-图  活性
	无界Petri网的进程表达式 期刊论文 计算机学报, 2003, 卷号: 26.0, 期号: 012, 页码: 1629 作者:  曾庆田;  吴哲辉 收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04 无界Petri网  进程表达式  进程行为  模型化