期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
子网行为等价的特殊网系统的同步距离
1
作者
王丽丽
方贤文
张苗苗
《安徽理工大学学报(自然科学版)》
CAS
2014年第1期19-23,共5页
同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步...
同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法,为了使得更多的网系统其同步距离计算也能够有简洁的算法,证明了若一个网系统的行为等价与某个特殊的子网,那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题,并且给出了寻找其行为等价的特殊子网的算法,最后进行了相应的实验验证。
展开更多
关键词
PETRI
网
同步距离
行为等价
特殊子网
下载PDF
职称材料
题名
子网行为等价的特殊网系统的同步距离
1
作者
王丽丽
方贤文
张苗苗
机构
安徽理工大学理学院
出处
《安徽理工大学学报(自然科学版)》
CAS
2014年第1期19-23,共5页
基金
国家自然科学基金资助项目(61272153
61170059)
+3 种基金
安徽省高校自然科学基金重点资助项目(KJ2011A086)
安徽省自然科学基金资助项目(1208085MF105)
安徽省软科学研究计划资助项目(12020503031)
安徽理工大学青年教师科学研究基金资助项目(2012QNY36)
文摘
同步距离是刻画事件之间同步关系的一个重要的定量分析手段,已经有相关文献表明它对系统的设计和分析提供了很大的帮助,尤其在工作流和工业生产控制系统的协调结构设计方面有着显著的优势。然而目前只有一些特殊的子网中变迁之间的同步距离计算有较简洁的算法,为了使得更多的网系统其同步距离计算也能够有简洁的算法,证明了若一个网系统的行为等价与某个特殊的子网,那么此网系统中变迁之间的同步距离的求解就可以转化为其行为等价的特殊子网的同步距离的求解问题,并且给出了寻找其行为等价的特殊子网的算法,最后进行了相应的实验验证。
关键词
PETRI
网
同步距离
行为等价
特殊子网
Keywords
Petri net
synchronic distance
behavior equivalence
special subnet
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
子网行为等价的特殊网系统的同步距离
王丽丽
方贤文
张苗苗
《安徽理工大学学报(自然科学版)》
CAS
2014
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部