IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Deadlock Control in Generalized Petri Nets

Deadlock Control in Generalized Petri Nets
View Sample PDF
Author(s): Mi Zhao (Shihezi University, China)and Yifan Hou (Xidian University, China)
Copyright: 2013
Pages: 24
Source title: Formal Methods in Manufacturing Systems: Recent Advances
Source Author(s)/Editor(s): Zhiwu Li (Xidian University, People’s Republic of China)and Abdulrahman M. Al-Ahmari (King Saud University, Saudi Arabia)
DOI: 10.4018/978-1-4666-4034-4.ch014

Purchase

View Deadlock Control in Generalized Petri Nets on the publisher's website for pricing and purchasing information.

Abstract

This chapter proposes a number of deadlock prevention polices for a class of generalized Petri nets, namely G-systems, which is usually considered to be the most generalized Petri nets that can model Flexible Manufacturing Systems (FMSs) with machining, assembly, and disassembly operations. First, a deadlock prevention policy based on elementary siphons theory is presented, which indicates that structural complexity and behavioral permissiveness can be improved effectively. In order to reduce the computational complexity, a Mixed Integer Programming (MIP)-based deadlock detection approach is proposed, then two deadlock control polices combined with MIP method are introduced. Finally, comparison among deadlock prevention policies reported in this chapter is done in terms of structural complexity, behavioral permissiveness, and computational complexity of the resulting supervisor through a typical case study. Importantly, future research directions related to this area are presented at the end of this chapter.

Related Content

Tanima Sahoo, Arijit Mondal, Piyal Roy, Amitava Podder. © 2024. 20 pages.
Hüseyin Fatih Çetinkaya, Ali Fazıl Yenidünya, Serap Çetinkaya, Burak Tüzün. © 2024. 15 pages.
Digvijay Pandey, Vinay Kumar Nassa, Binay Kumar Pandey, Blessy Thankachan, Pankaj Dadheech, Darshan A Mahajan, A. Shaji George. © 2024. 22 pages.
Loutfy H. Madkour. © 2024. 38 pages.
Loutfy H. Madkour. © 2024. 50 pages.
Rita Komalasari. © 2024. 25 pages.
Aakifa Shahul, Balakumar Muniandi, Mukundan Appadurai Paramashivan, Digvijay Pandey, Binay Kumar Pandey, Pankaj Dadheech, Hovan George. © 2024. 14 pages.
Body Bottom