Resource allocation systems: Some complexity results on the S4PR class

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4229 LNCS, Issue , 2006, Pages 323-338

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

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SYSTEM RECOVERY; DATA REDUCTION; PETRI NETS; PROBLEM SOLVING; FORMAL METHODS;

CORRECTION TECHNIQUES; RESOURCE ALLOCATION SYSTEMS (RAS); S4PR CLASSES; ABSTRACTION PROCESS; COMPLEXITY RESULTS; DIVERSE APPLICATIONS; METHODOLOGICAL FRAMEWORKS; RESOURCE ALLOCATION PROBLEM; RESOURCE ALLOCATION SYSTEMS; WELL BALANCED;

RESOURCE ALLOCATION;

EID: 33750546438     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11888116_24     Document Type: Conference Paper

References (16)

1. Coffman, E.G., Elphick, M., Shoshani, A.: System deadlocks. ACM Computing Surveys 3(2) (1971) 67-78
2. Gold, E.M.: Deadlock prediction: Easy and difficult cases. SIAM Journal on Computing 7(3) (1978) 320-336
3. Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4) (1989) 541-580
4. Lautenbach, K., Thiagarajan, P.S.: Analysis of a resource allocation problem using Petri nets. In Syre, J.C., ed.: Proc. of 1st European Conf. on Parallel and Distributed Processing, Toulouse, Cepadues Editions (1979) 260-266
5. Ezpeleta, J., Colom, J., Martínez, J.: A Petri net based deadlock prevention policy for flexible manufacturing systems. IEEE Trans. on Robotics and Automation 11(2)(1995) 173-184
6. Xie, X., Jeng, M.D.: ERCN-merged nets and their analysis using siphons. IEEE Trans. on Robotics and Automation 29(4) (1999) 692-703
7. Park, J., Reveliotis, S.A.: Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings. IEEE Trans. on Automatic Control 46(10) (2001) 1572-1583
8. Tricas, F.: Deadlock analysis, prevention and avoidance in sequential resource allocation systems. PhD thesis, University of Zaragoza, Zaragoza (2003)
9. Lawley, M., Reveliotis, S.: Deadlock avoidance for sequential Resource Allocation Systems: Hard and easy cases. Int. Journal of Flexible Manufacturing Systems 13 (2001) 385-404
10. Sulistyono, W., Lawley, M.: Deadlock avoidance for manufacturing systems with partially ordered process plans. IEEE Trans. on Robotics and Automation 17(6) (2001) 819-832
11. Brade, R., Zhang, L., Berson, S., Herzog, S., Jamin, S.: RFC 2205: Resource ReSerVation Protocol - Version 1 Functional Specification (1997)
12. Villapol, M., Billington, J.: Analysing properties of the resource reservation protocol. In Van der Aalst, W. and Best, E., eds.: Proc. of 24th Int. Conf. on Applications and Theory of Petri Nets. Vol. 2679 of LNCS. Springer-Verlag (2003) 377-396
13. Tricas, F., García-Vallés, F., Colom, J., Ezpeleta, J.: A Petri net structure-based deadlock prevention solution for sequential resource allocation systems. In: Proc. of IEEE Int. Conf. on Robotics and Automation, Barcelona, Spain (2005) 272-278
14. Garey, M., Johnson, D.: Computers and Intractability: A Guide to the Theory of NP-Completeness. W. H. Freeman & Co., New York, NY, USA (1979)
15. Teruel, E., Silva, M.: Liveness and home states in equal conflict systems. In Ajmone Marsan, M., ed.: Proc. of 14th Int. Conf. on Applications and Theory of Petri Nets. Vol. 691 of LNCS. Springer-Verlag (1993) 415-432
16. 4PR paradigm. In: Proc. of IEEE Int. Conf. on Systems, Man and Cybernetics, Taipei, Taiwan (2006) To appear.