可检索词: (英文)题名=T 作者=A 关键词=K 摘要=R 机构=O 主题=S 刊名=M 分类号=N
检索规则说明: [&]代表"并且";[|]代表"或者";[!]代表"不包含" (运算符两边不需要空格)
检索范例: 范例一:(k=科技[|]k=技术)[&]t=范并思 范例二:t=计算机应用与软件[&](R=C++[|]R=Basic)[!]t=西华师范大学
主办单位:
出版地:
ISSN:
主编:
邮发代号:
中图分类号: 选择
作 者: ;
机构地区: 暨南大学信息科学技术学院数学系
出 处: 《计算机科学》 1983年第5期
摘 要: 本文以Petri网为工具,讨论了系统发生死锁的充分条件和必要条件。本文特点在于把系统的死锁问题化为线性代数问题。
关 键 词: 死锁问题 网 线性代数 关联矩阵 有穷 当且仅当 网模型 硬件故障 等待状态