A Petri Net Perspective on the Resource Allocation Problem in Software Engineering
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.
KeywordsState Machine Flexible Manufacture System Resource Allocation Problem Deadlock Avoidance Minimal Siphon
Unable to display preview. Download preview PDF.
- 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
- 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
- 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.Li, Z.W., Zhou, M.C.: Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer, New York (2009)Google Scholar
- 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
- 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.Tricas, F.: Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems. Ph.D. thesis. University of Zaragoza, Zaragoza (May 2003)Google Scholar
- 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.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