基于 Petri 网络结构的死锁分析与检测The Analysis and Test of Deadlock in Petri Net
唐培和
摘要(Abstract):
本文在死锁定义的基础上,讨论了死锁的性质,分析了结构死锁的物理意义,并且给出了死锁的检测算法与分析。
关键词(KeyWords): Petri网;死锁;算法
基金项目(Foundation):
作者(Author): 唐培和
Email:
文章评论(Comment):
|
||||||||||||||||||
|
摘要(Abstract):
本文在死锁定义的基础上,讨论了死锁的性质,分析了结构死锁的物理意义,并且给出了死锁的检测算法与分析。
关键词(KeyWords): Petri网;死锁;算法
基金项目(Foundation):
作者(Author): 唐培和
Email:
|
||||||||||||||||||
|