中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共4条，第1-4条 帮助

限定条件    
已选(0)清除 条数/页：   排序方式：
基于变迁指标的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-网  进程  进程表达式  
大学水平的“数学分析知识”的获取和分析研究 期刊论文
计算机科学, 2005, 卷号: 32.0, 期号: 010, 页码: 118
作者:  刘汉武;  曹存根;  曾庆田
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
数学知识  本体  框架  逻辑  类型  知识表示  知识获取  数学分析  大学本科  知识库  知识获取过程  水  数学相关  数学平台  数学系统  软件系统  
一种兼顾协议正确性验证和性能评估的Petri网方法 期刊论文
计算机科学, 2005, 卷号: 32.0, 期号: 012, 页码: 48
作者:  范昊;  吴哲辉;  曾庆田
收藏  |  浏览/下载：5/0  |  提交时间：2023/12/04
协议验证  形式化分析  时延Petri网  协议性能评估  0-1停止等待协议