Welcome to the InfoSci Platform
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: © 2012 |Pages: 19
ISBN13: 9781613504567|ISBN10: 161350456X|EISBN13: 9781613504574
DOI: 10.4018/978-1-61350-456-7.ch217
Cite Chapter Cite Chapter

MLA

Zhong, Chunfu, and Zhiwu Li. "Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems." Computer Engineering: Concepts, Methodologies, Tools and Applications, edited by Information Resources Management Association, IGI Global, 2012, pp. 445-463. https://doi.org/10.4018/978-1-61350-456-7.ch217

APA

Zhong, C. & Li, Z. (2012). Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems. In I. Management Association (Ed.), Computer Engineering: Concepts, Methodologies, Tools and Applications (pp. 445-463). IGI Global. https://doi.org/10.4018/978-1-61350-456-7.ch217

Chicago

Zhong, Chunfu, and Zhiwu Li. "Petri Net Based Deadlock Prevention Approach for Flexible Manufacturing Systems." In Computer Engineering: Concepts, Methodologies, Tools and Applications, edited by Information Resources Management Association, 445-463. Hershey, PA: IGI Global, 2012. https://doi.org/10.4018/978-1-61350-456-7.ch217

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.