Welcome to the InfoSci Platform
Reference Hub1
Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems

Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems

Chunfu Zhong, Zhiwu Li
Copyright: © 2011 |Pages: 18
ISBN13: 9781609600860|ISBN10: 160960086X|EISBN13: 9781609600884
DOI: 10.4018/978-1-60960-086-0.ch015
Cite Chapter Cite Chapter

MLA

Zhong, Chunfu, and Zhiwu Li. "Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems." Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, edited by Mohamed Khalgui and Hans-Michael Hanisch, IGI Global, 2011, pp. 416-433. https://doi.org/10.4018/978-1-60960-086-0.ch015

APA

Zhong, C. & Li, Z. (2011). Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems. In M. Khalgui & H. Hanisch (Eds.), Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility (pp. 416-433). IGI Global. https://doi.org/10.4018/978-1-60960-086-0.ch015

Chicago

Zhong, Chunfu, and Zhiwu Li. "Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems." In Reconfigurable Embedded Control Systems: Applications for Flexibility and Agility, edited by Mohamed Khalgui and Hans-Michael Hanisch, 416-433. Hershey, PA: IGI Global, 2011. https://doi.org/10.4018/978-1-60960-086-0.ch015

Export Reference

Mendeley
Favorite

Abstract

In flexible manufacturing systems, deadlocks usually occur due to the limited resources. To cope with deadlock problems, Petri nets are widely used to model these systems. This chapter focuses on deadlock prevention for flexible manufacturing systems that are modeled with S4R nets, a subclass of generalized Petri nets. The analysis of S4R leads us to derive an iterative deadlock prevention approach. At each iteration step, a non-max-controlled siphon is derived by solving a mixed integer linear programming. A monitor is constructed for the siphon such that it is max-controlled. Finally, a liveness-enforcing Petri net supervisor can be derived without enumerating all the strict minimal siphons.

Request Access

You do not own this content. Please login to recommend this title to your institution's librarian or purchase it from the IGI Global bookstore.