基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
存储结构及算法是Petri网仿真和自动化分析研究中的重要内容.Petri网是一种特殊的有向图,通过对图的存储问题进行研究,提出了一种有向图的存储结构--树链式结构,给出了其构造算法.与其它有向图存储结构相比,它既可提高算法速度又能降低算法复杂性.树链式结构在Petri网仿真和自动化分析中应用优势明显,着重讨论了Petri网的树链式存储结构,提出了基于该存储结构的可达树生成算法.所生成的可达树的树链结构形式,利于展开Petri网的各种分析算法.
推荐文章
基于Petri网分解技术的自动化物流系统建模分析
Petri网分解
自动化物流系统
变迁指标
库所指标
活性
有界性
基于Petri网和WS-BPEL的自动服务组合研究
自动服务组合
WS-BPEL
Petri网
深度优先搜索算法
基于DISCOVERER的Petri网不变式自动生成
Petri网
不变式
半代数系统
半代数变迁系统
改进型有色Petri网的安全协议分析
安全协议
有色Petri网
形式化分析
Helsinki协议
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 Petri网仿真和自动化分析中的存储结构及算法研究
来源期刊 计算机研究与发展 学科 工学
关键词 Petri网 仿真 自动化分析 存储结构 算法 有向图 可达树
年,卷(期) 2002,(9) 所属期刊栏目 存储技术
研究方向 页码范围 1106-1112
页数 7页 分类号 TP311.12|TP301.6
字数 7188字 语种 中文
DOI
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 张凤鸣 空军工程大学工程学院 162 2152 23.0 39.0
2 宋志平 空军工程大学工程学院 16 157 7.0 12.0
3 车万方 空军工程大学工程学院 7 31 3.0 5.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (3)
共引文献  (6)
参考文献  (3)
节点文献
引证文献  (9)
同被引文献  (1)
二级引证文献  (5)
1989(1)
  • 参考文献(1)
  • 二级参考文献(0)
1992(1)
  • 参考文献(0)
  • 二级参考文献(1)
1996(1)
  • 参考文献(0)
  • 二级参考文献(1)
1997(1)
  • 参考文献(0)
  • 二级参考文献(1)
2000(2)
  • 参考文献(2)
  • 二级参考文献(0)
2002(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2004(3)
  • 引证文献(2)
  • 二级引证文献(1)
2005(3)
  • 引证文献(2)
  • 二级引证文献(1)
2006(2)
  • 引证文献(1)
  • 二级引证文献(1)
2007(1)
  • 引证文献(1)
  • 二级引证文献(0)
2008(2)
  • 引证文献(2)
  • 二级引证文献(0)
2009(2)
  • 引证文献(1)
  • 二级引证文献(1)
2013(1)
  • 引证文献(0)
  • 二级引证文献(1)
研究主题发展历程
节点文献
Petri网
仿真
自动化分析
存储结构
算法
有向图
可达树
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机研究与发展
月刊
1000-1239
11-1777/TP
大16开
北京中关村科学院南路6号
2-654
1958
chi
出版文献量(篇)
7553
总下载数(次)
35
总被引数(次)
164870
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导