The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Deadlock Prevention for Automated Manufacturing Systems with Uncontrollable and Unobservable Transitions: A Petri Net Approach
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
|
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.
|
|
|