节点文献

动态死锁分析与检测

免费订阅

【作者】 唐培和

【Author】 Tang Peihe (Computer Center of Guangxi Institute of Technology,Liuzhou 545005)

【机构】 广西工学院计算中心

【摘要】 可达树是Petri网性能分析的重要工具之一。本文在可达树和网结构的基础上,提出了一种分析与检测动态死锁的新方法,并给出了相应的算法。

【关键词】 Petri网死锁可达树算法
  • 【DOI】10.16375/j.cnki.cn45-1395/t.1998.01.007
  • 【分类号】TP302,
  • 【被引频次】5
  • 【下载频次】78
节点文献中: 

本文链接的文献网络图示:

浏览历史:
下载历史: