期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Petri网不可达标识的判定方法研究及其在死锁检测中的应用
被引量：
5
1
作者
鲁法明
曾庆田
+2 位作者
段华
彭延军
包云霞
《计算机集成制造系统》
EI
CSCD
北大核心
2016年第2期465-475,共11页
为进行系统死锁检测,对Petri网特定标识的不可达性判定方法进行研究。对基于虹吸管、陷阱、S-不变量、加模S-不变量等结构特性以及基于状态方程解存在性的不可达标识判定方法进行分析,研究了上述方法可以判定的不可达标识之间的相互关系...
为进行系统死锁检测,对Petri网特定标识的不可达性判定方法进行研究。对基于虹吸管、陷阱、S-不变量、加模S-不变量等结构特性以及基于状态方程解存在性的不可达标识判定方法进行分析,研究了上述方法可以判定的不可达标识之间的相互关系,建立了Petri网不可达标识的分类体系,为更好地进行标识不可达性判定提供了理论依据。分别结合哲学家就餐问题和一个跨组织协同业务流程Petri网模型的死锁状态,检测说明了标识不可达判定方法的应用。
展开更多
关键词
PETRI网
可达
性分析
不可达标识分类
死锁检测
在线阅读
下载PDF
职称材料
题名
Petri网不可达标识的判定方法研究及其在死锁检测中的应用
被引量：
5
1
作者
鲁法明
曾庆田
段华
彭延军
包云霞
机构
山东科技大学信息科学与工程学院
同济大学嵌入式系统与服务计算教育部重点实验室
山东科技大学电子通信与物理学院
山东科技大学数学与系统科学学院
出处
《计算机集成制造系统》
EI
CSCD
北大核心
2016年第2期465-475,共11页
基金
国家自然科学基金资助项目(61170079
61202152
+7 种基金
61472229
61502279)
山东省科技发展资助项目(2014GGX101035
ZR2015FM013)
山东省优秀中青年科学家科研奖励基金资助项目(BS2014DX013)
同济大学嵌入式系统与服务计算教育部重点实验室开放课题基金资助项目(ESSCKF201403)
山东科技大学科研创新团队支持计划与领军人才计划资助项目
山东省高等学校青年骨干教师国内访问学者资助项目~~
文摘
为进行系统死锁检测,对Petri网特定标识的不可达性判定方法进行研究。对基于虹吸管、陷阱、S-不变量、加模S-不变量等结构特性以及基于状态方程解存在性的不可达标识判定方法进行分析,研究了上述方法可以判定的不可达标识之间的相互关系,建立了Petri网不可达标识的分类体系,为更好地进行标识不可达性判定提供了理论依据。分别结合哲学家就餐问题和一个跨组织协同业务流程Petri网模型的死锁状态,检测说明了标识不可达判定方法的应用。
关键词
PETRI网
可达
性分析
不可达标识分类
死锁检测
Keywords
Petri nets
reachability analysis
non-reachable marks classification
deadlock detection
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Petri网不可达标识的判定方法研究及其在死锁检测中的应用
鲁法明
曾庆田
段华
彭延军
包云霞
《计算机集成制造系统》
EI
CSCD
北大核心
2016
5
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
