基于有限容量库所方法的死锁防止算法
针对变迁均可控、可观的推广Petri网,给出了一种防止死锁的算法.该算法基于将死锁防止问题转化为控制规范的迭代算法和将控制规范施加到被控对象上的有限容量库所方法.它相对于只能面向某一类网的死锁防止方法,在通用性上有了很大改进;而且设计的控制器是结构型的,在线计算少、执行快;不过由于是迭代算法,有时离线计算量较大.最后用一个示例说明了该算法,并进行了进一步的讨论.
Petri网 死锁防止 控制规范 有限容量库所方法
茹雨 吴维敏
工业控制技术国家重点实验室,浙江大学先进控制研究所(杭州)
国内会议
杭州
中文
59-62,66
2003-09-01（万方平台首次上网日期，不代表论文的发表时间）