A Petri net structure-based deadlock prevention solution for sequential resource allocation systems

Proceedings - IEEE International Conference on Robotics and Automation

Volumn 2005, Issue , 2005, Pages 271-277

  Tricas, F ^a   Garcia Valles F ^a   Colom, J M ^a   Ezpeleta, J ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

Deadlock prevention; Petri nets

Indexed keywords

COMPUTER SYSTEM RECOVERY; FREQUENCY ALLOCATION; INTEGER PROGRAMMING; LINEAR PROGRAMMING; MATHEMATICAL MODELS; RESOURCE ALLOCATION;

DEADLOCK PREVENTION; INTEGER LINEAR PROGRAMMING; PETRI NET MODEL; SIPHON;

PETRI NETS;

EID: 33846160554     PISSN: 10504729     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ROBOT.2005.1570131     Document Type: Conference Paper

References (28)

1. K. Barkaoui, A. Chaoui, and B. Zouari, "Supervisory control of discrete event systems based on structure of Petri nets," in Proc. IEEE Int. Conf. on Systems, Man, and Cybernetics (SMC'97). Orlando, Florida, USA: IEEE, Oct. 1997, pp. 3750-3755.
2. J. Ezpeleta, J. Colom, and J. Martínez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Trans. Rob. Automat., vol. 11, no. 2, pp. 173-184, April 1995.
3. F. Tricas, F. García-Vallés, J. Colom, and J. Ezpeleta, "A structural approach to the problem of deadlock prevention in processes with resources," in Proc. of the Int. Workshop on Discrete Event Systems(WODES'98), IEE Control. IEE, August 1998, pp. 273-278.
4. M. V. Iordache, J. O. Moody, and P. Antsaklis, "Synthesis of deadlock prevention supervisors using Petri nets," IEEE Trans. Rob. Automat., vol. 18, no. 1, pp. 59-68, Feb. 2002.
5. 2 PR Petri nets," in Proceedings of the 6th International Workshop on Discrete Event Systems. Zaragoza, Spain: IEEE, Oct. 2002, pp. 55-66.
6. M. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Trans. Rob. Automat., vol. 13, no. 3, pp. 347-363, June 1997.
7. F. Hsieh and S. Chang, "Dispatching-driven deadlock avoidance controller synthesis for flexible manufacturing systems," IEEE Trans. Rob. Automat., vol. 10, no. 2, pp. 196-209, Apr. 1994.
8. K. Xing, B. Hu, and H. Chen, "Deadlock avoidance policy for Petrinet modeling of flexible manufacturing systems with shared resources," IEEE Trans. Automat. Contr., vol. 41, no. 2, pp. 289-295, Feb. 1996.
9. M. A. Lawley, "Deadlock avoidance for production systems with flexible routing," IEEE Trans. Rob. Automat., vol. 15, no. 3, pp. 1-13, jun 1999.
10. J. Ezpeleta, F. Tricas, F. Garca-Vails, and J. Colom, "A banker's solution for deadlock avoidance in fms with flexible routing and multiresource states," IEEE Trans. Rob. Automat., vol. 18, no. 4, pp. 621-625, Aug. 2002.
11. F. Chu and X. Xie, "Deadlock analysis of Petri nets using siphons and mathematical programming," IEEE Trans. Rob. Automat., vol. 13, no. 6, pp. 793-804, dec 1997.
12. S. A. Reveliotis, "On the siphon-based characterization of liveness in sequential resource allocation systems." in Proc. of the 24th Int. Conf. on Applications and Theory of Petri Nets (ICATPN 2003), Eindhoven, The Netherlands, June 23-27, 2003. Springer-Verlag, June 2003, pp. 241-255, internalNote: Submitted by: hr.
13. S. Reveliotis, "Accommodatingfms operational contingencies through routing flexibility," IEEE Transactions on Robotics and Automation, vol. 15, no. 1, pp. 3-19, February 1999.
14. F. Tricas and J. Ezpeleta, "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), Barcelona, Oct. 1999, pp. 1047-1056.
15. F. Tricas, J. Colom, and J. Ezpeleta, "A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming," in Proc. of the 11th European Simulation Symposium, G. Horton, D. Moller, and U. Rude, Eds. Erlangen, Germany: The society for Computer Simulation Int., Oct. 1999, pp. 542-546.
16. _, "Some improvements to the Banker's algorithm based on the process structure," in Proc. of IEEE Int. Conf. on Robotics and Automation. San Francisco, USA: IEEE, April 2000, pp. 2853-2858.
17. I. M. V. and P. J. Antsaklis, "Synthesis of supervisors enforcing general linear vector constraints in Petri nets," IEEE Trans. Automat. Contr., vol. 48, no. 11, pp. 2036-2039, 2003.
18. F. Tricas and J. Martínez, "An extension of the liveness theory for concurrent sequential processes competing for shared resources," in Proc. of the 1995 IEEE Int. Conf. on Systems, Man and Cybernetics., Vancouver, Canada, Oct. 1995, pp. 4119-4124.
19. Y. Huang, M. D. Jeng, Z. Xie, and S. Chung, "Deadlock prevention policy based on Petri nets and siphons." International Journal of Production Research, vol. 39, no. 2, pp. 283-305, 2001.
20. F. Tricas, Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems, Ph.D. Thesis. Departamento de Informática e Ingeniería de Sistemas. Universidad de Zaragoza, May 2003.
21. J. Colom and M. Silva, "Improving the linearly based characterization of P/T nets," in Proc. of the 10th Int. Conference on Application and Theory of Petri Nets, Bonn, Germany, June 1989, pp. 52-73.
22. T. Murata, "Petri nets: properties, analysis and applications," Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, Apr. 1989.
23. J. Park and S. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Trans. Automat. Contr., vol. 46, no. 10, pp. 1572-1583, Oct. 2001.
24. J. Colom and M. Silva, "Improving the linearly based characterization of P/T nets," in Advances in Petri Nets 1990, ser. Lecture Notes in Computer Science, G. Rozenberg, Ed. Berlin: Springer Verlag, 1991, vol. 483, pp. 113-145.
25. H. Alaiwan and J. Toudic, "Recherche des semi-flots, des verroux et des trappes dans les rseaux de Petri," Technique et Science Informatiques, pp. 103-112, 1985, in French.
26. M. Silva, Las Redes de Petri en la Automática y la Informática. Madrid: Editorial AC, 1985.
27. X. Xie and M. Jeng, "ERCN-merged nets and their analysis using siphons," IEEE Trans Rob Automat, vol. 15, no. 4, pp. 692-703, Aug. 1999.
28. F. Tricas and J. Ezpeleta, "Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets," To appear in IEEE Trans. on SMC, Pan A., 2005.