Structural methods for the control of discrete event dynamic systems - The case of the resource allocation problem

Lecture Notes in Control and Information Sciences

Volumn 433, Issue , 2013, Pages 257-278

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

^a UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; DISCRETE EVENT SIMULATION; FLEXIBLE MANUFACTURING SYSTEMS; PETRI NETS;

DISCRETE EVENT DYNAMIC SYSTEMS; LIVENESS PROPERTIES; MULTITHREADED SOFTWARES; REACHABILITY GRAPHS; RESOURCE ALLOCATION PROBLEM; RESOURCE ALLOCATION SYSTEMS; STRUCTURAL METHODS; STRUCTURAL TECHNIQUES;

RESOURCE ALLOCATION;

EID: 84866869207     PISSN: 01708643     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-1-4471-4276-8_13     Document Type: Article

References (30)

1. Best, E., Voss, K.: Free Choice Systems Have Home States. Acta Informatica 21, 89-100 (1984)
2. Cano, E.-E., Rovetto, C.-A., Colom, J.-M.: On the Computation of the Minimal Siphons of S4PR nets from a Generating Family of Siphons. In: Proc. 15th IEEE International Conf. on Emerging Technologies and Factory Automation, Bilbao, Spain (2010)
3. Chu, F., Xie, X.: Deadlock Analysis of Petri Nets using Siphons and Mathematical Programming. IEEE Transactions on Robotics and Automation 13(6), 793-804 (1997)
4. Colom, J.M., Silva, M.: Improving the Linearly Based Characterization of P/T Nets. In: Rozenberg, G. (ed.) APN 1990. LNCS, vol. 483, pp. 113-145. Springer, Heidelberg (1991)
5. 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)
6. 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 2(11), 173-184 (1995)
7. Ezpeleta, J., Garcia-Vallés, 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)
8. 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)
9. 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), 93-101 (2004)
10. 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)
11. Ghaffari, A., Rezg, N., Xie, X.: Design of a Live and Maximally Permissive Petri Net Controller using the Theory of Regions. IEEE Transactions on Robotics 19(1), 137-141 (2003)
12. Hu, H., Zhou, M.C., Li, Z.W.: Supervisor Optimization for Deadlock Resolution in AutomatedManufacturing SystemsWith Petri Nets. IEEE Transactions on Automation Science and Engineering 8(4), 794-804 (2011)
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: Proc. 1st European Conf. on Parallel and Distributed Processing, France (1979)
15. Li, Z.-W., Zhou, M.-C.: Control of Elementary and Dependent Siphons in Petri Nets and Their Application. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 38(1), 133-148 (2008)
16. Li, Z.-W., Zhou, M.-C.: Deadlock Resolution in Automated Manufacturing Systems: A Novel Petri Net Approach. Springer, New York (2009)
17. López-Grao, J.-., Colom, J.-M.: Resource Allocation Systems: Some Complexity Results on the S4PR Class. In: Najm, E., Pradat-eyre, J.-F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol. 4229, pp. 323-338. Springer, Heidelberg (2006)
18. López-Grao, J.-., Colom, J.-M.: Lender Processes Competing for Shared Resources: Beyond the S4PR Paradigm. In: Proc. 2006 IEEE Int. Conf. on Systems, Man and Cybernetics, Taipei, Taiwan (2006)
19. López-Grao, J.-., Colom, J.-M.: On the Deadlock Analysis of Multithreaded Control Software. In: Proc. 16th IEEE Int. Conf. on Emerging Technologies and Factory Automation, Toulouse, France (2006)
20. López-Grao, J.-., Colom, J.-M.: A Petri Net Perspective on the Resource Allocation Problem in Software Engineering. In: Jensen, K., Donatelli, S., Kleijn, J. (eds.) Transactions on Petri Nets and Other Models of Concurrency V. LNCS, vol. 6900, pp. 181-200. Springer, Heidelberg (2012)
21. López-Grao, J.-.: Contributions to the Deadlock Problem in Multithreaded Software Applications Observed as Resource Allocation Systems. PhD Thesis. University of Zaragoza, Spain (2012)
22. 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)
23. Piroddi, L., Cordone, R., Fumagalli, I.: Combined Siphon and Marking Generation for Deadlock Prevention in Petri Nets. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 39(3), 650-661 (2009)
24. Reveliotis, S.A.: Real-Time Management of Resource Allocation Systems: A Discrete Event Systems Approach. International Series in Operations Research & Management Science (2004)
25. Rovetto, C.-A.: Métodos Basados en Redes de Petri para el Diseño de Algoritmos de Encaminamiento Adaptativos Mínimos Libres de Bloqueos. PhD Thesis. University of Zaragoza, Spain (2011)
26. Silva, M., Colom, J.-M.: On the Computation of Structural Synchronic Invariants in P/T Nets. In: Rozenberg, G. (ed.) APN 1988. LNCS, vol. 340, pp. 386-417. Springer, Heidelberg (1988)
27. Tricas, F.: Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems. PhD Thesis. University of Zaragoza, Spain (2003)
28. 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. 2005 Int. Conf. on Robotics and Automation, Barcelona, Spain (2005)
29. Xie, X., Jeng, M.-D.: ERCN-merged Nets and Their Analysis using Siphons. IEEE Transactions on Robotics and Automation 29(4), 692-703 (1999)
30. Wang, Y., Liao, H., Reveliotis, S.A., Kelly, T., Mahlke, S., Lafortune, S.: Gadara Nets: Modeling and Analyzing Lock Allocation for Deadlock Avoidance in Multithreaded Software. In: Proc. 49th IEEE Conf. on Decision and Control, Atlanta, Georgia, USA (2009)