期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
可达性与状态方程可满足性等价的两个Petri网子类
被引量:
3
1
作者
包云霞
鲁法明
曾庆田
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期44-46,共3页
可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出...
可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。
展开更多
关键词
PETRI网
可达性
极小陷阱回
路网
后向回路网
下载PDF
职称材料
题名
可达性与状态方程可满足性等价的两个Petri网子类
被引量:
3
1
作者
包云霞
鲁法明
曾庆田
机构
山东科技大学理学院
山东科技大学信息学院
出处
《系统仿真学报》
CAS
CSCD
北大核心
2007年第A01期44-46,共3页
基金
国家自然科学基金(60673053
60603090)
山东省优秀中青年科学家奖励基金(2006BS01019)
文摘
可达性是Petri网最基本最重要的动态性质之一,但一般Petri网的可达性判定问题至少具有指数空间复杂度,且目前尚无有效的判定算法。不过,存在某些Petri网子类,其可达性判定问题要相对简单,寻找这样的Petri网子类具有重要意义。为此,提出极小陷阱回路网与后向回路网的概念,并证明了初始标识下不含空极小回路的这两个Petri网子类,其可达性判定问题等价于状态方程的可满足性问题。
关键词
PETRI网
可达性
极小陷阱回
路网
后向回路网
Keywords
Petri nets
Reachability
minimal-trap-circuit Petri nets
backward-circuit Petri nets
分类号
TP391.9 [自动化与计算机技术—计算机应用技术]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
可达性与状态方程可满足性等价的两个Petri网子类
包云霞
鲁法明
曾庆田
《系统仿真学报》
CAS
CSCD
北大核心
2007
3
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部