A Petri net perspective on the resource allocation problem in software engineering

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

Volumn 6900 LNCS, Issue , 2012, Pages 181-200

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

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

DEADLOCK PROBLEMS; FLEXIBLE MANUFACTURING SYSTEM (FMS); RESOURCE ALLOCATION PROBLEM; RESOURCE ALLOCATION SYSTEMS; SHARED RESOURCES; SOFTWARE APPLICATIONS; SOFTWARE SYSTEMS; SUBCLASSES OF PETRI NETS;

COMPUTER SOFTWARE; FLEXIBLE MANUFACTURING SYSTEMS; RESOURCE ALLOCATION;

PETRI NETS;

EID: 84859581681     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-29072-5_8     Document Type: Conference Paper

References (23)

1. Best, E., Voss, K.: Free Choice Systems Have Home States. Acta Informatica 21, 89-100 (1984)
2. Coffman, E.-G., Elphick, M., Shoshani, A.: System Deadlocks. ACM Computing Surveys 3(2), 67-78 (1971)
3. Colom, J.-M.: The Resource Allocation Problem in Flexible Manufacturing Systems. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 23-35. Springer, Heidelberg (2003)
4. Ezpeleta, J., Colom, J.M., Martínez, J.: A Petri Net Based Deadlock Prevention Policy for Flexible Manufacturing Systems. IEEE Transactions on Robotics and Automation 11(2), 173-184 (1995)
5. Ezpeleta, J., García-Valles, F., Colom, J.M.: A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. In: Desel, J., Silva, M. (eds.) ICATPN 1998. LNCS, vol. 1420, pp. 64-83. Springer, Heidelberg (1998)
6. Ezpeleta, J., Recalde, L.: A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems. IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans 34(1) (2004)
7. Ezpeleta, J., Tricas, F., García-Vallés, F., Colom, J.M.: A Banker's Solution for Deadlock Avoidance in FMS with Flexible Routing and Multiresource States. IEEE Transactions on Robotics and Automation 18(4), 621-625 (2002)
8. Fanti, M.P., Maione, B., Mascolo, S., Turchiano, B.: Event-based Feedback Control for Deadlock Avoidance in Flexible Production Systems. IEEE Transactions on Robotics and Automation 13(3), 347-363 (1997)
9. García-Vallés, F.: Contributions to the Structural and Symbolic Analysis of Place/Transition Nets with Applications to Flexible Manufacturing Systems and Asynchronous Circuits. Ph.D. thesis. University of Zaragoza, Zaragoza (April 1999)
10. Harel, D.: On Folk Theorems. Communications of the ACM 23(7), 379-389 (1980)
11. Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM 21(8), 666-677 (1978)
12. Hu, H.S., Zhou, M.C., Li, Z.W.: Liveness Enforcing Supervision of Video Streaming Systems Using Non-Sequential Petri Nets. IEEE Transactions on Multimedia 11(8), 1446-1456 (2009)
13. Jeng, M.D., Xie, X.L., Peng, M.Y.: Process Nets with Resources for Manufacturing Modeling and their Analysis. IEEE Transactions on Robotics 18(6), 875-889 (2002)
14. Lautenbach, K., Thiagarajan, P.S.: Analysis of a Resource Allocation Problem Using Petri Nets. In: Syre, J.C. (ed.) Proc. of the 1st European Conf. on Parallel and Distributed Processing, Cepadues Editions, Toulouse, pp. 260-266 (1979)
15. Li, Z.W., Zhou, M.C.: Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer, New York (2009)
16. López-Grao, J.P., Colom, J.M.: Lender Processes Competing for Shared Resources: Beyond the S4PR Paradigm. In: Proc. of the 2006 Int. Conf. on Systems, Man and Cybernetics, pp. 3052-3059. IEEE (2006)
17. Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541-580 (1989)
18. Park, J., Reveliotis, S.A.: Deadlock Avoidance in Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings. IEEE Transactions on Automatic Control 46(10), 1572-1583 (2001)
19. Reveliotis, S.A., Lawley, M.A., Ferreira, P.M.: Polynomial Complexity Deadlock Avoidance Policies for Sequential Resource Allocation Systems. IEEE Transactions on Automatic Control 42(10), 1344-1357 (1997)
20. Silva, M.: Introducing Petri Nets. In: Di Cesare, F., Harhalakis, G., Proth, J.M., Silva, M., Vernadat, F. (eds.) Practice of Petri Nets in Manufacturing, pp. 1-62. Chapman and Hall (1993)
21. Tricas, F.: Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems. Ph.D. thesis. University of Zaragoza, Zaragoza (May 2003)
22. Tricas, F., García-Valles, F., Colom, J.M., Ezpeleta, J.: A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. In: Proc. of the 2005 Int. Conf. on Robotics and Automation (ICRA), pp. 272-278. IEEE, Barcelona (2005)
23. Xie, X., Jeng, M.D.: ERCN-Merged Nets and their Analysis Using Siphons. IEEE Transactions on Robotics and Automation 29(4), 692-703 (1999)