基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
提出了Petri网替换运算的不变量保持条件,根据这些条件,可以由轮廓模型N和子系统模型N1的T-不变量(S-不变量)得到加细模型N'的T-不变量(S-不变量),充分利用已知的轮廓模型N和子系统模型N1的T-不变量(S-不变量),避免从头处理加细模型N',以达到节省计算开支的目的.
推荐文章
基于极小T-不变量增加的Petri网可达性分析
Petri网
可达性
极小T-不变量
极小T-不变量关系图
扩展极小T-不变量关系图
借矩阵
扩展借矩阵
基于不变量综合离散事件系统Petri网控制器
离散事件系统
Petri网
P-不变量
控制器
浅海阵不变量和波导不变量关系的研究
阵不变量
波导不变量
简正波俯仰角
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 Petri网替换运算的不变量保持条件
来源期刊 计算机科学 学科 工学
关键词 Petri网 不变量 保持条件
年,卷(期) 2009,(2) 所属期刊栏目 人工智能及图像处理
研究方向 页码范围 230-233
页数 4页 分类号 TP3
字数 4788字 语种 中文
DOI 10.3969/j.issn.1002-137X.2009.02.055
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 吴哲辉 山东科技大学信息科学与工程学院 88 638 14.0 19.0
2 岳昊 山东科技大学信息科学与工程学院 9 57 5.0 7.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (3)
节点文献
引证文献  (1)
同被引文献  (0)
二级引证文献  (0)
1983(1)
  • 参考文献(1)
  • 二级参考文献(0)
1989(1)
  • 参考文献(1)
  • 二级参考文献(0)
1998(1)
  • 参考文献(1)
  • 二级参考文献(0)
2009(1)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(1)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
Petri网
不变量
保持条件
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机科学
月刊
1002-137X
50-1075/TP
大16开
重庆市渝北区洪湖西路18号
78-68
1974
chi
出版文献量(篇)
18527
总下载数(次)
68
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
论文1v1指导