期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Petri网替换运算
被引量:
6
1
作者
吴振寰
吴哲辉
《计算机科学》
CSCD
北大核心
2005年第11期238-240,共3页
文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri 网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上...
文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri 网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的。
展开更多
关键词
petri
网
替换运算
petri
网语言
逐步求精
运算
形式化描述
思想方法
下载PDF
职称材料
题名
Petri网替换运算
被引量:
6
1
作者
吴振寰
吴哲辉
机构
山东科技大学信息科学与工程学院
出处
《计算机科学》
CSCD
北大核心
2005年第11期238-240,共3页
基金
国家自然科学基金(项目号:60173053)
文摘
文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述。文中还通过Petri网语言讨论了Petri 网的替换运算同语言的替换运算之间的关系,结果表明,这两个从不同角度给出的替换运算在实质意义上是协调的。
关键词
petri
网
替换运算
petri
网语言
逐步求精
运算
形式化描述
思想方法
Keywords
petri net
,
substitution operation
,
petri net language
,
stepwise refinement
分类号
TP301 [自动化与计算机技术—计算机系统结构]
O159 [理学—基础数学]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Petri网替换运算
吴振寰
吴哲辉
《计算机科学》
CSCD
北大核心
2005
6
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部