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

Solving Siphons with the Minimal Cardinality for Deadlock Control

Solving Siphons with the Minimal Cardinality for Deadlock Control
View Sample PDF
Author(s): Shaoyong Li (Lanzhou University of Technology, China)
Copyright: 2013
Pages: 16
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.ch016

Purchase

View Solving Siphons with the Minimal Cardinality for Deadlock Control on the publisher's website for pricing and purchasing information.

Abstract

By modifying the objective function and adding new constraints to a Mixed Integer Programming (MIP) method proposed by Park and Reveliotis, this chapter presents a Revised MIP (RMIP) method to directly solve siphons, called smart siphons, with the minimal cardinality as well as the minimal number of resource places. Accordingly, a proper Control Place (CP) is added for each smart siphon in order to achieve the desired control. Both efficiency and practicality of this method are proved through a theoretical proof and several examples.

Related Content

Sandhya Avasthi, Tanushree Sanwal, Shivani Sharma, Shweta Roy. © 2023. 23 pages.
Subha Karumban, Shouvik Sanyal, Madan Mohan Laddunuri, Vijayan Dhanasingh Sivalinga, Vidhya Shanmugam, Vijay Bose, Mahesh B. N., Ramakrishna Narasimhaiah, Dhanabalan Thangam, Satheesh Pandian Murugan. © 2023. 17 pages.
Aditya Saxena, Devansh Chauhan, Shilpi Sharma. © 2023. 26 pages.
Eduardo José Villegas-Jaramillo, Mauricio Orozco-Alzate. © 2023. 33 pages.
Revathi A., Poonguzhali S.. © 2023. 18 pages.
Indu Malik, Anurag Singh Baghel. © 2023. 18 pages.
Shanu Sharma, Tushar Chand Kapoor, Misha Kakkar, Rishi Kumar. © 2023. 24 pages.
Body Bottom