Publications of the COSMOS Research Group
1992
[36]On the Analysis and Synthesis of Systems of Simple Sequential Processes with Resources (SSSPR) (, and ), Technical report 92-30, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, . [bibtex]
1995
[35] A Petri net based deadlock prevention policy for flexible manufacturing systems ( and ), In IEEE Transactions on Robotics and Automation, volume 11, . [bibtex] [url] [doi]
1997
[34] Automatic synthesis of colored Petri nets for the control of FMS (), In IEEE Transactions on Robotics and Automation, volume 13, . [bibtex] [url] [doi]
1998
[33] A Class of Well Structured Petri Nets for Flexible Manufacturing Systems ( and ), Chapter in Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings (Jörg Desel, Manuel Silva, eds.), Springer, volume 1420, . [bibtex] [url] [doi]
[32]Optimal Control of Discrete Event Systems (, and ), In Proceedings of the International Workshop on Discrete Event Systems, WODES’98, Cagliari, Sardinia, Italy, August 26-28, 1998., Institution of Electrical Engineers, London, . [bibtex]
1999
[31]A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming ( and ), In Proceedings of the 11th European Simulation Symposium (ESS’99). Simulation in Industry, Erlangen-Nuremberg, Germany, October 26-28, 1999, Institution of Electrical Engineers, London, . [bibtex]
2000
[30] Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources (), In IEEE Transactions on Automatic Control, volume 45, . [bibtex] [url] [doi]
[29] An Iterative Method for Deadlock Prevention in FMS (, and ), Chapter in Discrete Event Systems: Analysis and Control (Boel, R., Stremersch, G., eds.), Springer US, . [bibtex] [url] [doi]
[28] Some Improvements to the Banker's Algorithm Based on the Process Structure ( and ), In Proceedings of the 2000 IEEE International Conference on Robotics and Automation, ICRA 2000, April 24-28, 2000, San Francisco, CA, USA, IEEE, . [bibtex] [url] [doi]
[27]New Methods for Deadlock Prevention and Avoidance in Concurrent Systems ( and ), In Actas de las VIII Jornadas de Concurrencia, Ediciones de la Universidad de Castilla-La Mancha, . [bibtex]
2002
[26] A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states (, and ), In IEEE Transactions on Robotics and Automation, volume 18, . [bibtex] [url] [doi]
[25] Checking Redundancies in Supervisory Control. A Complexity Result (), In IFAC Proceedings Volumes, volume 35, , 15th Triennial World Congress of the International Federation of Automatic Control (IFAC). [bibtex] [url] [doi]
2003
[24] The Resource Allocation Problem in Flexible Manufacturing Systems (), Chapter in Applications and Theory of Petri Nets 2003, 24th International Conference, ICATPN 2003, Eindhoven, The Netherlands, June 23-27, 2003, Proceedings (Wil M. P. van der Aalst, Eike Best, eds.), Springer, volume 2679, . [bibtex] [url] [doi]
2005
[23] A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems ( and ), In Proceedings of the 2005 IEEE International Conference on Robotics and Automation, ICRA 2005, April 18-22, 2005, Barcelona, Spain, IEEE, . [bibtex] [url] [doi]
[22]Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems ( and ), In Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005), Thomson Paraninfo S.A., Madrid, España, . [bibtex]
2006
[21] Resource Allocation Systems: Some Complexity Results on the S$^4$PR Class (), Chapter in Formal Techniques for Networked and Distributed Systems - FORTE 2006, 26th IFIP WG 6.1 International Conference, Paris, France, September 26-29, 2006. (Elie Najm, Jean-François Pradat-Peyre, Véronique Donzeau-Gouge, eds.), Springer, volume 4229, . [bibtex] [url] [doi]
[20] Lender processes competing for shared resources: Beyond the S$^4$PR paradigm (), In Proceedings of the 2006 IEEE International Conference on Systems, Man and Cybernetics (SMC'06), Taipei, Taiwan, October 8-11, 2006, IEEE, . [bibtex] [url] [doi]
2010
[19] On the computation of the minimal siphons of S$^4$PR nets from a generating family of siphons ( and ), In Proceedings of 2010 IEEE 15th International Conference on Emerging Technologies and Factory Automation, ETFA 2010, September 13-16, 2010, Bilbao, Spain, IEEE, . [bibtex] [url] [doi]
[18] An algorithm to compute the minimal siphons in S$^4$PR nets ( and ), In 10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. (Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor, eds.), International Federation of Automatic Control, volume 43, , [10th IFAC Workshop on Discrete Event Systems]. [bibtex] [url] [doi]
[17] Deadlock analysis in minimal adaptive routing algorithms using Petri Nets ( and ), In Proceedings of the 2010 IEEE International Conference on Systems, Man and Cybernetics (SMC'10), Istanbul, Turkey, 10-13 October 2010, IEEE, . [bibtex] [url] [doi]
[16] The Resource Allocation Problem in Software Applications: A Petri Net Perspective (), In Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10 (Michael Duvigneau, Daniel Moldt, eds.), Universität Hamburg, volume Bericht 294, . [bibtex] [url]
2011
[15] On the deadlock analysis of multithreaded control software (), In IEEE 16th Conference on Emerging Technologies & Factory Automation, ETFA 2011, Toulouse, France, September 5-9, 2011 (Zoubir Mammeri, ed.), IEEE, . [bibtex] [url] [doi]
2012
[14] An algorithm to compute the minimal siphons in S$^4$PR nets ( and ), In Discrete Event Dynamic Systems - Theory and Applications, volume 22, . [bibtex] [url] [doi]
[13] A Petri Net Perspective on the Resource Allocation Problem in Software Engineering (), In Transactions on Petri Nets and Other Models of Concurrency, Springer, volume 5, . [bibtex] [url] [doi]
[12] Modular Petri net modeling of the Spanish health system ( and ), In Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation, ETFA 2012, Krakow, Poland, September 17-21, 2012, IEEE, . [bibtex] [url] [doi]
[11] Deadlock Control Software for Tow Automated Guided Vehicles using Petri Nets ( and ), In Recent Advances in Petri Nets and Concurrency (Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes, eds.), CEUR-WS.org, volume 827, . [bibtex] [pdf]
[10] The Resource Allocation Problem in Software Applications: A Petri Net Perspective (), In Recent Advances in Petri Nets and Concurrency (Susanna Donatelli, Jetty Kleijn, Ricardo Jorge Machado, João M. Fernandes, eds.), CEUR-WS.org, volume 827, . [bibtex] [pdf]
2013
[9] Petri net approach for deadlock prevention in robot planning ( and ), In Proceedings of 2013 IEEE 18th International Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013 (Carla Seatzu, ed.), IEEE, . [bibtex] [url] [doi]
[8] Structural Methods for the Control of Discrete Event Dynamic Systems - The Case of the Resource Allocation Problem (), Chapter in Control of Discrete-Event Systems (Carla Seatzu, Manuel Silva, Jan H. van Schuppen, eds.), Springer, volume 433, . [bibtex] [url] [doi]
[7] A New Approach to Prevent Deadlock in S$^3$PR Nets with Unreplicable Resources (), In Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013), Barcelona, Spain, 16-18 February, 2013 (Begoña Vitoriano, Fernando Valente, eds.), SciTePress, . [bibtex] [url] [doi]
[6] Enforcing Liveness in S$^3$PR Nets by Specialization of Resources (), In Proceedings of the 2nd International Conference on Operations Research and Enterprise Systems (ICORES 2013), Barcelona, Spain, 16-18 February, 2013 (Begoña Vitoriano, Fernando Valente, eds.), SciTePress, . [bibtex] [url] [doi]
2014
[5] A model-based approach for the specification and verification of clinical guidelines (, , and ), In Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014 (Antoni Grau, Herminio Martínez, eds.), IEEE, . [bibtex] [url] [doi]
[4] The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach ( and ), In Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, ETFA 2014, Barcelona, Spain, September 16-19, 2014 (Antoni Grau, Herminio Martínez, eds.), IEEE, . [bibtex] [url] [doi]
[3] Computing Minimal Siphons in Petri Net Models of Resource Allocation Systems: An Evolutionary Approach ( and ), In Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'14), Tunis, Tunisia, June 23-24, 2014. (Daniel Moldt, Heiko Rölke, eds.), CEUR-WS.org, volume 1160, . [bibtex] [pdf]
[2]Petri nets with resources for modeling primary healthcare systems ( and ), In 2014 18th International Conference on System Theory, Control and Computing (ICSTCC), Sinaia, Romania, October 17-19, 2014, IEEE, . [bibtex] [doi]
2016
[1] Chapter 7 - Structural deadlock prevention policies for Flexible Manufacturing Systems. A Petri net outlook (, and ), Chapter in Formal Methods in Manufacturing (Javier Campos, Carla Seatzu, Xiaolan Xie, eds.), CRC Press/Taylor and Francis Group, . [bibtex] [url] [doi]
Powered by bibtexbrowser