A novel method for deadlock prevention of AMS by using resource-oriented Petri nets
- 1 October 2016
- journal article
- Published by Elsevier BV in Information Sciences
- Vol. 363, 178-189
- https://doi.org/10.1016/j.ins.2015.08.016
Abstract
No abstract availableKeywords
This publication has 58 references indexed in Scilit:
- Optimal Supervisory Control of Flexible Manufacturing Systems by Petri Nets: A Set Classification ApproachIEEE Transactions on Automation Science and Engineering, 2013
- On structural minimality of optimal supervisors for flexible manufacturing systemsAutomatica, 2012
- Behaviorally Optimal and Structurally Simple Liveness-Enforcing Supervisors of Flexible Manufacturing SystemsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2011
- Design of a maximally permissive liveness-enforcing supervisor with a compressed supervisory structure for flexible manufacturing systemsAutomatica, 2011
- Design of a Maximally Permissive Liveness- Enforcing Petri Net Supervisor for Flexible Manufacturing SystemsIEEE Transactions on Automation Science and Engineering, 2010
- Deadlock control methods in automated manufacturing systemsIEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans, 2004
- Design of a live and maximally permissive petri net controller using the theory of regionsIEEE Transactions on Robotics and Automation, 2003
- Event-based feedback control for deadlock avoidance in flexible production systemsIEEE Transactions on Robotics and Automation, 1997
- A Petri net based deadlock prevention policy for flexible manufacturing systemsIEEE Transactions on Robotics and Automation, 1995
- Deadlock avoidance in flexible manufacturing systems with concurrently competing process flowsIEEE Transactions on Robotics and Automation, 1990