并行共享资源死锁结构的一种判断方法

• 作者: 刘宏 李志武
• 来源期刊: 西安电子科技大学学报
• 学科: 工学
• 关键词: Petri网 并行共享资源 并行资源死锁结构 资源向量
• 年，卷（期）: 1999,（1）
• 页码范围: 18-21
• 页数: 4页
• 分类号: TP278
• 字数: 3465字
• 语种: 中文
• DOI: 10.3969/j.issn.1001-2400.1999.01.004

摘要

研究了独立制造过程共享资源引起的死锁问题,提出了并行资源死锁结构的概念.基于资源向量,给出了一个简单的形式化方法,用于判断一个系统是否由于包含并行共享资源而具有可能的死锁.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志武	西安电子科技大学电子机械学院	39	141	6.0	9.0
2	刘宏	西安电子科技大学电子机械学院	10	51	4.0	7.0