一类Petri网—S4R的死锁预防策略

计算机科学 ›› 2010, Vol. 37 ›› Issue (10): 291-294.

一类Petri网—S4R的死锁预防策略

朱森

(西安电子科技大学机电工程学院西安710071)

出版日期:2018-12-01 发布日期:2018-12-01
基金资助:
本文受国家自然科学基金课题(60993007)，高等学校博士点基金课题((20070901013)资助。

On Deadlock Prevention of a Subclass of Petri Nets--S4R

ZHU Sen

Online:2018-12-01 Published:2018-12-01

摘要/Abstract

摘要： S4R网作为一种特殊的Petri网子类，与S' PR网相比可以建模更为复杂的、拥有多个并行加工进程的资源分配系统。针对S4R网提出了一种综合的死锁预防策略。利用MIP检验由S4R网建模的柔性制造系统的活性，在新的信标控制概念的基础上对需要控制的系统进行控制。再利用MIP检验受控网系统的活性，进一步控制不活的网系统。避免了对一些网不必要的控制以及一些网过于保守的控制，得到许可行为较多的控制器。

关键词: Petri网，柔性制造系统,S4R，死锁预防

Abstract: As a special subclass of Petri nets, S4R can model resource allocation systems with multiple processed that are more complex than S3PR. This paper proposed a deadlock prevention policy for S4R. First, checked the liveness of a flexible manufacturing system modeled by S4R by using MIP. Then designed a supervisor for the system if it is not live,which is based on a new concept of siphon control. Again, checked the livcness of the controlled system by using MIP.If the controlled system is not live, it will be further controlled. This policy can avoid some constraints that are not necessary. Usually a livencss-enforcing supervisor with more permissive can he obtained by the proposed policy.

Key words: Petri net, Flexible manufacturing system, S4R, Deadlock prevention

朱森. 一类Petri网—S4R的死锁预防策略[J]. 计算机科学, 2010, 37(10): 291-294. https://doi.org/

ZHU Sen. On Deadlock Prevention of a Subclass of Petri Nets--S4R[J]. Computer Science, 2010, 37(10): 291-294. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed