期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
二次检索
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
在结果中检索
在结果中去除
年份
1998
1
1996
1
学科
自动化与计算机技术
2
理学
1
期刊收录
CSCD
2
日本科学技术振兴机构数据库
2
Scopus数据库
2
中国科技核心期刊
2
北大核心期刊
1
化学文摘(网络版)
1
哥白尼索引
1
科学文摘数据库
1
数学评论(网络版)
1
武大RCCSE核心期刊
1
主题
PETRI网
2
网络
1
扩展PETRI网
1
计算机
1
计算机网
1
计算机网络
1
建模与仿真分析
1
仿真
1
期刊
信息与控制
1
系统仿真学报
1
作者
桂志波
2
郑应平
1
郑应平
1
机构
中国科学院自动化研究所
2
南京理工大学
1
共找到
2
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
一类扩展Petri网的建模与仿真分析
被引量:
8
1
作者
桂志波
郑应平
《系统仿真学报》
CAS
CSCD
1996年第2期54-62,共9页
本文定义了一类禁止弧/容许弧基本Petri网及其变迁的引发规则,构造了它的三个标志矩阵(禁止弧、容许弧、自环),给出了它的关联矩阵和状态方程;基于此,形式化分析了该网模型,并由此构造出适于计算机仿真分析的启发式算法;
关键词
PETRI网
建模
仿真
计算机网络
下载PDF
职称材料
弱引发规则二态加时变迁Petri网定性分析
2
作者
桂志波
郑应平
杨成梧
《信息与控制》
CSCD
北大核心
1998年第1期16-22,共7页
提出了一种弱引发规则二态加时变迁Petri网(简称WTTPN),它比Ramchandani的二态加时变迁Petri网(简称TTPN)更适于建模分析冲突结构;平行于无时间约束Petri网,给出了WTTPN的形式化描述与...
提出了一种弱引发规则二态加时变迁Petri网(简称WTTPN),它比Ramchandani的二态加时变迁Petri网(简称TTPN)更适于建模分析冲突结构;平行于无时间约束Petri网,给出了WTTPN的形式化描述与分析框架,据此可对它进行定性分析;进而,讨论了WTTPN及其基网系统之间关系,证明了它们关于活性、有界(安全)性和可逆性等价.
展开更多
关键词
弱引发规则
PETRI网
定性分析
WTTPN
网络理论
下载PDF
职称材料
题名
一类扩展Petri网的建模与仿真分析
被引量:
8
1
作者
桂志波
郑应平
机构
中国科学院自动化研究所九部
出处
《系统仿真学报》
CAS
CSCD
1996年第2期54-62,共9页
文摘
本文定义了一类禁止弧/容许弧基本Petri网及其变迁的引发规则,构造了它的三个标志矩阵(禁止弧、容许弧、自环),给出了它的关联矩阵和状态方程;基于此,形式化分析了该网模型,并由此构造出适于计算机仿真分析的启发式算法;
关键词
PETRI网
建模
仿真
计算机网络
Keywords
Petri Net Inhibitor arc Permissive are Modeling Simulation
分类号
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
弱引发规则二态加时变迁Petri网定性分析
2
作者
桂志波
郑应平
杨成梧
机构
南京理工大学动力
学院
中国科学院自动化研究所九部
出处
《信息与控制》
CSCD
北大核心
1998年第1期16-22,共7页
基金
国家自然科学基金
"863"计划CIMS资助
文摘
提出了一种弱引发规则二态加时变迁Petri网(简称WTTPN),它比Ramchandani的二态加时变迁Petri网(简称TTPN)更适于建模分析冲突结构;平行于无时间约束Petri网,给出了WTTPN的形式化描述与分析框架,据此可对它进行定性分析;进而,讨论了WTTPN及其基网系统之间关系,证明了它们关于活性、有界(安全)性和可逆性等价.
关键词
弱引发规则
PETRI网
定性分析
WTTPN
网络理论
Keywords
weak firing rule,transition timed Petri net with two-phase firing semantics,formal description,qualitative analysis, underlying net system
分类号
O157.5 [理学—基础数学]
TP393 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
一类扩展Petri网的建模与仿真分析
桂志波
郑应平
《系统仿真学报》
CAS
CSCD
1996
8
下载PDF
职称材料
2
弱引发规则二态加时变迁Petri网定性分析
桂志波
郑应平
杨成梧
《信息与控制》
CSCD
北大核心
1998
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部