首页> 中文期刊> 《西北工业大学学报》 >面向对象的Petri网死锁检测

面向对象的Petri网死锁检测

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

研究如何检测面向对象的Petri网(OOPN)中的死锁,将OOPN中的死锁分为结构死锁和约束死锁,给出了采用常规分析法检测结构死锁的步骤.运用大系统分解的思想,分两步进行分析,即首先验证每个对象类的子模型的活性,然后检查对象间的同步约束.该方法提供一种解决复杂问题的途径.

著录项

来源
《西北工业大学学报》 |2004年第2期|166-170|共5页
作者
郑锋; 孙树栋; 司书宾;
展开▼
作者单位

西北工业大学,机电学院,陕西,西安,710072;

西北工业大学,机电学院,陕西,西安,710072;

西北工业大学,机电学院,陕西,西安,710072;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算机网络;
关键词
OOPN; 死锁; 活性;

相似文献

中文文献
外文文献
专利

1. 基于程序运行轨迹Petri网模型挖掘的死锁检测方法 [J] . 鲁法明 ,崔明浩 ,包云霞 . 计算机集成制造系统 . 2021,第009期
2. 基于Petri网的多线程程序死锁检测 [J] . 黄理 ,顾乃杰 ,曹华雄 . 计算机工程 . 2016,第004期
3. Petri网不可达标识的判定方法研究及其在死锁检测中的应用 [J] . 鲁法明 ,曾庆田 ,段华 . 计算机集成制造系统 . 2016,第002期
4. 基于混合整数规划的一般Petri网死锁检测方法 [J] . 庄巧莉 ,戴文战 ,王寿光 . 控制理论与应用 . 2015,第003期
5. 分布式锁的Petri网建模及死锁检测 [J] . 金红琳 ,刘波 . 计算机科学 . 2011,第008期
6. 机器人导航系统Petri网模型及其死锁检测 [C] . 符意德 ,卢波 ,孙晔 . 2006年全国第六届嵌入式系统学术年会 . 2006
7. 基于Petri网的多线程死锁检测研究 [A] . 黄理 . 2015

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号