Abstract
In [Tricas et al., 1999] we presented a new method for deadlock prevention in flexible manufacturing systems using Petri nets as the modelling tool. It was based on an iterative method, using the structure of the Petri net model. Here we present two things; first, we improve the algorithm which establishes the control; second, we present some experimental results which try to compare a few control methods from the perspective of their “permissivity”.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barkaoui, K., Chaoui, A., and Zouari, B. (1997). Supervisory control of discrete event systems based on structure of Petri nets. In SMC’97 Conf. Proc., pages 3750–3755, Orlando, Florida, USA. IEEE.
Dijkstra, E. (1965). Co-operating Sequential Processes. Programming Languages. Academic Press, f. genyus edition.
Ezpeleta, J., Colom, J., and Martinez, J. (1995). A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. on Robotics and Automation, 11(2):173–184.
Ezpeleta, J. and Haddad, S. (1993). A Distributed Algorithm, for Resource Management. Decentralized & Distributed Systems (A-39). Elsevier B.V. (North-Holland).
Fanti, M., Maione, B., Mascolo, S., and Turchiano, B. (1997). Event-based feedback control for deadlock avoidance in flexible production systems. IEEE Trans. on Robotics and Automation, 13(3):347–363.
Lawley, M., Reveliotis, S., and Ferreira, P. (1998). The application and evaluation of Banker’s algorithm for deadlock-free buffer allocation in flexible manufacturing systems. Int. Journal of Flexible Manufacturing Systems, (10):73–100.
Murata, T. (1989). Petri nets: Properties, analysis and applications. Proceedings of the IEEE, 77(4):541–580.
Tricas, F., Colom, J., and Ezpeleta, J. (1999). A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming. In Horton, G., Moller, D., and Rude, U., editors, Proc. of the 11th European Simulation Symposium, pages 542–546, Erlangen, Germany. The society for Computer Simulation Int.
Tricas, F., Colom, J., and Ezpeleta, J. (2000). Some improvements to the Banker’s algorithm based on the process structure. In Proc. of IEEE Int. Conf. on Robotics and Automation, pages 2853–2858, San Francisco, USA. IEEE.
Tricas, F. and Ezpeleta, J. (1999). A Petri net solution to the problem of deadlocks in systems of processes with resources. In Proc. of the 7th IEEE Int. Conf on Emerging Technologies and Factory Automation (ETFA), pages 1047–1056, Barcelona.
Viswanadham, N., Narahari, Y., and Johnson, T. (1990). Deadlock prevention and deadlock avoidance in flexible manufacturing systems using Petri net models. IEEE Trans. on Robotics and Automation, 6(6):713–723.
Xing, K., Hu, B., and Chen, H. (1996). Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources. IEEE Trans. on Automatic Control, 41(2):289–295.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer Science+Business Media New York
About this chapter
Cite this chapter
Tricas, F., García-Vallés, F., Colom, J.M., Ezpeleta, J. (2000). An Iterative Method for Deadlock Prevention in FMS. In: Boel, R., Stremersch, G. (eds) Discrete Event Systems. The Springer International Series in Engineering and Computer Science, vol 569. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-4493-7_14
Download citation
DOI: https://doi.org/10.1007/978-1-4615-4493-7_14
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4613-7025-3
Online ISBN: 978-1-4615-4493-7
eBook Packages: Springer Book Archive