1 |
P. Jonghun and A. Spyros R. 'Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings,' IEEE tr. Automatic Control. vol. 46, no. 10, pp.1572-1583, 2001
DOI
ScienceOn
|
2 |
M. A. Lawley, 'Deadlock avoidance for production system with flexible routing,' IEEE tr. Robotics and Automation, vol. 15, no. 3, pp.497-509, 1999
DOI
ScienceOn
|
3 |
M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, 'Event-based feedback control for deadlock avoidance in flexible production systems,' IEEE tr. Robotics and Automation, vol. 13, no. 3, pp. 347-363, 1997
DOI
ScienceOn
|
4 |
L. Ferrarini and M. Maroni, 'A control algorithm for deadlock-free schedulings of manufacturing systems,' IEEE Conf. on Systems, Man and Cybernetics, 3762-3767, 1997
DOI
|
5 |
Chu. Feng and X. Xiao-Lan 'Deadlock analysis of petri nets using siphons and mathmatical programming,' IEEE tr. Robotics and Automation, vol. 13. no. 6. 1997
DOI
ScienceOn
|
6 |
S. Melzer and S. Romer 'Deadlock checking using net unfoldings,' In Proc. of the Conf. on Computer-Aided Verfication, CAV'97, 1997
|
7 |
T. Murata, 'Petri Nets: Properties, Analysis and Application,' In Proceedings of the IEEE, Vol. 77, No. 4, 1989
DOI
ScienceOn
|
8 |
H. H. Xiong and M. C. Zhou 'Deadlock free scheduling of an automated manufacturing system based on petri nets,' In IEEE ICRA '97,945-950, 1997
DOI
|
9 |
H. Yoon and D. Lee, 'Deadlock-free scheduling for automated manufacturing cells,' Proceeding of International Conference on Control, Automation Robotics and Vision, 2000
|
10 |
J. C. Corbett 'Evaluating deadlock detection methods for concurrent software,' IEEE tr. Software Engineering, vol. 22(3), 1996
DOI
ScienceOn
|
11 |
J. Ezpleta, J. M. Colom And Martinez J., 'A petri net based on deadlock prevention policy for flexible manufacturing systems,' IEEE tr. Robotics and Automation, vol. 11. no. 2, 173-184, 1995
DOI
ScienceOn
|
12 |
B. C. Damasceno and X. Xie 'Petri nets and deadlock-free scheduling of multiple-resource operations,' IEEE Conf. on Systems, Man and Cybernetics, 878-883, 1999
DOI
|