A Petri Net Perspective on the Resource Allocation Problem in Software Engineering

  • Juan-Pablo López-Grao
  • José-Manue Colom
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6900)

Abstract

Resource Allocation Systems (RAS) were intensively studied in the last years for Flexible Manufacturing Systems (FMS). The success of this research stems from the identification of subclasses of Petri Nets that correspond to an RAS abstraction of these systems. In this paper we take a parallel road to that travelled through for FMS, but for the case of software applications. These applications present concurrency, and deadlocks can happen due to the allocation of shared resources. We reveal that the existing subclasses of Petri Nets used to study this kind of deadlock problems are insufficient, even for very simple software systems. We propose a new subclass of Petri Nets that generalizes the previously known RAS subclasses and we present a taxonomy of anomalies that can be found in the context of software systems.

Keywords

State Machine Flexible Manufacture System Resource Allocation Problem Deadlock Avoidance Minimal Siphon 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Best, E., Voss, K.: Free Choice Systems Have Home States. Acta Informatica 21, 89–100 (1984)MathSciNetCrossRefGoogle Scholar
  2. 2.
    Coffman, E.-G., Elphick, M., Shoshani, A.: System Deadlocks. ACM Computing Surveys 3(2), 67–78 (1971)MATHCrossRefGoogle Scholar
  3. 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)CrossRefGoogle Scholar
  4. 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)CrossRefGoogle Scholar
  5. 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)CrossRefGoogle Scholar
  6. 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)Google Scholar
  7. 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)CrossRefGoogle Scholar
  8. 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)CrossRefGoogle Scholar
  9. 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)Google Scholar
  10. 10.
    Harel, D.: On Folk Theorems. Communications of the ACM 23(7), 379–389 (1980)MATHCrossRefGoogle Scholar
  11. 11.
    Hoare, C.A.R.: Communicating Sequential Processes. Communications of the ACM 21(8), 666–677 (1978)MathSciNetMATHCrossRefGoogle Scholar
  12. 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)CrossRefGoogle Scholar
  13. 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)CrossRefGoogle Scholar
  14. 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)Google Scholar
  15. 15.
    Li, Z.W., Zhou, M.C.: Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer, New York (2009)Google Scholar
  16. 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)Google Scholar
  17. 17.
    Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  18. 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)MathSciNetMATHCrossRefGoogle Scholar
  19. 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)MathSciNetMATHCrossRefGoogle Scholar
  20. 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)Google Scholar
  21. 21.
    Tricas, F.: Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems. Ph.D. thesis. University of Zaragoza, Zaragoza (May 2003)Google Scholar
  22. 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)Google Scholar
  23. 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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Juan-Pablo López-Grao
    • 1
  • José-Manue Colom
    • 2
  1. 1.Dpt. of Computer Science and Systems Engineering (DIIS)University of ZaragozaSpain
  2. 2.Aragon Institute of Engineering Research (I3A)University of ZaragozaSpain

Personalised recommendations