Computer Science ›› 2010, Vol. 37 ›› Issue (10): 291-294.

Previous Articles     Next Articles

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

ZHU Sen   

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

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

No related articles found!
Viewed
Full text


Abstract

Cited

  Shared   
  Discussed   
No Suggested Reading articles found!