基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
Petri网是一个功能强大的建模工具,然而原型Petri网的模拟能力有限,而对原型Petri网的扩充可以提高其模拟能力.时延Petri网是一种重要的含时间因素的Petri网,已广泛应用于并发系统的建模,所以对时延Petri网的模拟能力的研究就非常必要.本文首先说明时延Petri网能够满足零检验理论,然后通过模拟随机存取机来证明时延Petri网具有与图灵机相等的模拟能力.而后用时延Petri网实现对计算机经典问题的建模.
推荐文章
一类带有限制向量的时延离散Petri网
佩特里网
时延离散佩特里网
激发量
基于Uppaal的时延Petri网到时间自动机等价模型验证
时延Petri网
时间自动机
TPN-to-TA转换
Uppaal
基于时延Petri网的房地产业工期计划管理
工期计划
时延Petri网
非肯定型工程
关键工序
射频仿真系统目标模拟能力拓展方法研究
半实物仿真
射频仿真系统
坐标变换
方向余弦阵
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 时延Petri网模拟能力研究
来源期刊 微计算机应用 学科 工学
关键词 时延Petri网 模拟能力 零检验 随机存取机 图灵机
年,卷(期) 2009,(8) 所属期刊栏目 网络与通信
研究方向 页码范围 32-37
页数 6页 分类号 TP3
字数 3476字 语种 中文
DOI 10.3969/j.issn.2095-347X.2009.08.007
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 吴哲辉 山东科技大学信息科学与工程学院 88 638 14.0 19.0
2 于汪洋 山东科技大学信息科学与工程学院 2 11 2.0 2.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (5)
共引文献  (4)
参考文献  (2)
节点文献
引证文献  (8)
同被引文献  (25)
二级引证文献  (18)
1963(2)
  • 参考文献(1)
  • 二级参考文献(1)
1976(1)
  • 参考文献(0)
  • 二级参考文献(1)
1987(1)
  • 参考文献(0)
  • 二级参考文献(1)
1989(1)
  • 参考文献(0)
  • 二级参考文献(1)
1991(1)
  • 参考文献(0)
  • 二级参考文献(1)
2006(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
2010(2)
  • 引证文献(2)
  • 二级引证文献(0)
2011(1)
  • 引证文献(0)
  • 二级引证文献(1)
2012(1)
  • 引证文献(0)
  • 二级引证文献(1)
2013(4)
  • 引证文献(0)
  • 二级引证文献(4)
2014(3)
  • 引证文献(2)
  • 二级引证文献(1)
2015(2)
  • 引证文献(0)
  • 二级引证文献(2)
2016(2)
  • 引证文献(0)
  • 二级引证文献(2)
2017(4)
  • 引证文献(1)
  • 二级引证文献(3)
2018(6)
  • 引证文献(2)
  • 二级引证文献(4)
研究主题发展历程
节点文献
时延Petri网
模拟能力
零检验
随机存取机
图灵机
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
网络新媒体技术
双月刊
2095-347X
10-1055/TP
大16开
北京海淀区北四环西路21号
2-304
1980
chi
出版文献量(篇)
3082
总下载数(次)
5
总被引数(次)
15965
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导