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

Deadlock Prevention for Automated Manufacturing Systems with Uncontrollable and Unobservable Transitions: A Petri Net Approach

Deadlock Prevention for Automated Manufacturing Systems with Uncontrollable and Unobservable Transitions: A Petri Net Approach
View Sample PDF
Author(s): Meng Qin (Xidian University, China)
Copyright: 2013
Pages: 21
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.ch015

Purchase


Abstract

Many deadlock prevention policies on the basis of Petri nets dealing with deadlock problems in flexible manufacturing systems exist. However, most of them do not consider uncontrollable and unobservable transitions. This chapter solves deadlock problems in Petri nets with uncontrollable and unobservable transitions. A sufficient condition is developed to decide whether an existing deadlock prevention policy is still applicable in a Petri net with uncontrollable and unobservable transitions, when the policy itself is developed under the assumption that all the transitions are controllable and observable. Moreover, the author develops a deadlock prevention policy to design liveness-enforcing supervisors for a class of Petri nets with partial observability and controllability of transitions. Furthermore, a sufficient condition to decide the existence of a monitor to enforce a liveness constraint is developed.

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