期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Petri网的同步距离计算
被引量:
3
1
作者
张金泉
倪丽娜
蒋昌俊
《计算机科学》
CSCD
北大核心
2005年第12期138-141,154,共5页
同步距离是刻画事件之间同步关系的一个重要的定量分析手段。本文提出了同步距离计算网SDCNet的概念模型并讨论了计算同步距离的几个结论,给出了S_元中初始标识的配置算法以及以此为基础计算同步距离的算法。分析表明该算法与可覆盖性...
同步距离是刻画事件之间同步关系的一个重要的定量分析手段。本文提出了同步距离计算网SDCNet的概念模型并讨论了计算同步距离的几个结论,给出了S_元中初始标识的配置算法以及以此为基础计算同步距离的算法。分析表明该算法与可覆盖性树的生成算法具有相同的复杂性。
展开更多
关键词
PETRI网
同步距离
s_元
同步距离计算网(
s
DCNet)
下载PDF
职称材料
题名
Petri网的同步距离计算
被引量:
3
1
作者
张金泉
倪丽娜
蒋昌俊
机构
同济大学计算机科学与工程系
出处
《计算机科学》
CSCD
北大核心
2005年第12期138-141,154,共5页
基金
国家杰出青年基金(No.60125205)
国家863计划项目(2002AA1Z2102A)
文摘
同步距离是刻画事件之间同步关系的一个重要的定量分析手段。本文提出了同步距离计算网SDCNet的概念模型并讨论了计算同步距离的几个结论,给出了S_元中初始标识的配置算法以及以此为基础计算同步距离的算法。分析表明该算法与可覆盖性树的生成算法具有相同的复杂性。
关键词
PETRI网
同步距离
s_元
同步距离计算网(
s
DCNet)
Keywords
Petri net,
s
ynchronic di
s
tance,
s
-element,
s
ynchronic di
s
tance computing net(
s
DCNet)
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
TS43 [农业科学—烟草工业]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Petri网的同步距离计算
张金泉
倪丽娜
蒋昌俊
《计算机科学》
CSCD
北大核心
2005
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部