复杂并行共享资源与系统死锁

• 作者: 李志武 王安荣 贾建援
• 来源期刊: 中国机械工程
• 关键词: Petri网模型 并行共享资源 并行资源死锁结构 资源向量
• 年，卷（期）: 2003,（4）
• 所属期刊栏目: 机械科学
• 页码范围: 280-284
• 页数: 5页
• 分类号: TP278
• 语种: 中文
• DOI: 10.3321/j.issn:1004-132X.2003.04.004

摘要

研究了制造过程共享资源引起的死锁问题,提出了并行资源死锁结构的概念. 对于包含该结构的系统, 给出了Petri网模型具有可能死锁的充要条件.基于资源向量的概念, 提出了一个简单方法, 用于判断系统是否具有可能的死锁.针对包含死锁结构的系统, 提出了系统Petri网无死锁的设计方法.举例说明了这种方法的应用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李志武		39	141	6.0	9.0
2	贾建援	西安电子科技大学机电工程学院	174	1783	17.0	35.0
3	王安荣		10	51	5.0	7.0