Lender processes competing for shared resources: Beyond the S4PR paradigm

Conference Proceedings - IEEE International Conference on Systems, Man and Cybernetics

Volumn 4, Issue , 2006, Pages 3052-3059

  López Grao, Juan Pablo ^a   Colom, José Manuel ^a  

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ITERATIVE METHODS; MATHEMATICAL MODELS; PROBLEM SOLVING;

ABSTRACTION PROCESS; FRUITFUL APPROACH;

RESOURCE ALLOCATION;

EID: 34548139386     PISSN: 1062922X     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICSMC.2006.384584     Document Type: Conference Paper

References (24)

1. J. F. Kurose and R. Simha, "A microeconomic approach to optimal resource allocation in distributed computer systems," IEEE Transactions on Computers, vol. 38, no. 5, pp. 705-717, 1989.
2. K. Lautenbach and P. S. Thiagarajan, "Analysis of a resource allocation problem using Petri nets." in Proc. of the 1st European Conf. on Parallel and Distributed Processing, Syre, J.C., Ed. Toulouse: Cepadues Editions, 1979, pp. 260-266.
3. E. G. Coffman, M. Elphick, and A. Shoshani, "System deadlocks," ACM Computing Surveys, vol. 3, no. 2, pp. 67-78, 1971.
4. X. Xie and M. D. Jeng, "ERCN-merged nets and their analysis using siphons." IEEE Transactions on Robotics and Automation, vol. 29, no. 4, pp. 692-703, 1999.
5. J. Ezpeleta and L. Recalde, "A deadlock avoidance approach for non-sequential resource allocation systems," IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans, vol. 34, no. 1, 2004.
6. M. P. Fanti, B. Maione, S. Mascolo, and B. Turchiano, "Event-based feedback control for deadlock avoidance in flexible production systems," IEEE Transactions on Robotics and Automation, vol. 13, no. 3, pp. 347-363, 1997.
7. J. Ezpeleta, J. Colom, and J. Martinez, "A Petri net based deadlock prevention policy for flexible manufacturing systems," IEEE Transactions on Robotics and Automation, vol. II, no. 2, pp. 173-184, 1995.
8. J. Ezpeleta, F. García-Valles, and J. Colom, "A class of well structured Petri nets for flexible manufacturing systems," in Proc. of the 19th Int. Conf. on Application and Theory of Petri Nets, ser. LNCS, J. Desel and M. Silva, Eds., vol. 1420. Lisbon, Portugal: Springer-Verlag, June 1998, pp. 65-83.
9. F. Tricas, "Deadlock analysis, prevention and avoidance in sequential resource allocation systems," Ph.D. dissertation, University of Zaragoza, Zaragoza, May 2003.
10. J. Park and S. A. Reveliotis, "Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings," IEEE Transactions on Automatic Control, vol. 46, no. 10, pp. 1572-1583, 2001.
11. S. A. Reveliotis, M. A. Lawley, and P. M. Ferreira, "Polynomial complexity deadlock avoidance policies for sequential resource allocation systems," IEEE Transactions on Automatic Control, vol. 42, no. 10, pp. 1344-1357, 1997.
12. J. Ezpeleta, F. Tricas, F. García-Vallés, and J. Colom, "Bankerslike approaches to deadlock avoidance in concurrent systems," IEEE Transactions on Robotics and Automation, vol. 18, no. 4, pp. 621-625, 2002.
13. J. M. Colom, "The resource allocation problem in flexible manufacturing systems," in Proc. of the 24th Int. Conf. on Applications and Theory of Petri Nets, ser. LNCS, Van der Aalst, W. and Best, E., Ed., vol. 2679. Eindhoven, Netherlands: Springer-Verlag, June 2003, pp. 23-35.
14. 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, ser. LNCS, Van der Aalst, W. and Best, E., Ed., vol. 2679. Eindhoven, Netherlands: Springer-Verlag, June 2003, pp. 241-255.
15. T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, 1989.
16. J. P. López-Grao and J. M. Colom, "Liveness enforcing in Resource Allocation Systems with iterative processes: A study on the SPQR class," Dept. Informática e Ingeniería de Sistemas, Tech. Rep., 2006.
17. D. Harel, "On folk theorems," Communications of the ACM, vol. 23, no. 7, pp. 379-389, 1980.
18. M. Silva and J. Colom, "On the computation of structural synchronic invariants in P/T nets," in Advances in Petri Nets 1988, G. Rozenberg, Ed. Berlin: Springer-Verlag, 1988, vol. 340, pp. 386-417.
19. M. Silva, "Introducing Petri nets," in Practice of Petri nets in manufacturing, F. DiCesare, G. Harhalakis, J. Proth, M. Silva, and F. Vernadat, Eds. Chapman and Hall, 1993, pp. 1-62.
20. E. Teruel and M. Silva, "Liveness and home states in equal conflict systems," in Proc. of the 14th Int. Conf. on Application and Theory of Petri Nets, ser. LNCS, M. Ajmone Marsan, Ed. Springer-Verlag, 1993, vol. 691, pp. 415-432.
21. E. Best and K. Voss, "Free choice systems have home states." Acta Informatica 21, pp. 89-100, 1984.
22. F. García-Vallés, "Contributions to the structural and symbolic analysis of place/transition nets with applications to flexible manufacturing systems and asynchronous circuits," Ph.D. dissertation, University of Zaragoza, Zaragoza, April 1999.
23. D. Hillen, "Relationship between deadlock-freeness and liveness in free-choice nets." Newsletter, no. 19, pp. 28-32, Feb. 1985.
24. K. Lautenbach, "Reproducibility of the empty marking," in Proc. of the 23rd Int. Conf. on Applications and Theory of Petri Nets, ser. LNCS, J. Esparza and C. Lakos, Eds., vol. 2360. London, UK: Springer-Verlag, 2002, pp. 237-253.