Enhancement of an efficient liveness-enforcing supervisor for flexible manufacture systems
- 15 September 2009
- journal article
- research article
- Published by Springer Science and Business Media LLC in The International Journal of Advanced Manufacturing Technology
- Vol. 48 (5-8), 725-737
- https://doi.org/10.1007/s00170-009-2299-x
Abstract
No abstract availableKeywords
This publication has 27 references indexed in Scilit:
- Elementary siphons of Petri nets and their application to deadlock prevention in flexible 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
- Deadlock prevention policy based on Petri nets and siphonsInternational Journal of Production Research, 2001
- Algebraic synthesis of efficient deadlock avoidance policies for sequential resource allocation systemsIEEE Transactions on Robotics and Automation, 2000
- Deriving Petri nets from finite transition systemsIEEE Transactions on Computers, 1998
- Modeling, analysis, simulation, scheduling, and control of semiconductor manufacturing systems: A Petri net approachIEEE Transactions on Semiconductor Manufacturing, 1998
- A Petri net based deadlock prevention policy for flexible manufacturing systemsIEEE Transactions on Robotics and Automation, 1995
- Elementary transition systemsTheoretical Computer Science, 1992
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- The control of discrete event systemsProceedings of the IEEE, 1989