Research context: Interests, relations and projects

Research interests

• Formal models for the study of concurrency phenomena in engineering: Petri nets.
• Models and methods for parallel and distributed software development.
• Problems in resource management (Resource Allocation Systems).
• System deadlocks. Liveness analysis and synthesis.
• Internal logistics. Automated manufacturing systems.

Program Commitees membership

I am currently member of the Program Committee of the following conferences:

• International Conference on Software Engineering Advances (ICSEA 2013)
• International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2013)

Research projects (I+D+i)

1. "Grupo de Excelencia 2011 - Grupo de Ingeniería de Sistemas de Eventos Discretos (GISED)". 32 researchers. Main researcher: Prof. Dr. Manuel Silva. Funded by Aragonese Government (Diputación General de Aragón) (74835€). Jan 01, 2011 - Dec 31, 2013.
2. "Grupo de Excelencia 2008 - Grupo de Ingeniería de Sistemas de Eventos Discretos (GISED)". 25 researchers. Main researcher: Prof. Dr. Manuel Silva. Funded by Aragonese Government (Diputación General de Aragón) (81716€). Jan 01, 2008 - Dec 31, 2010.
3. [DPI2006-15390] "Técnicas formales de análisis y diseño de Sistemas de Eventos Discretos e Híbridos. Aplicación a sistemas logísticos y de tiempo real". 17 researchers. Main researcher: Prof. Dr. Manuel Silva. Funded by Ministerio de Educación y Ciencia, C.I.C.Y.T. (206100€). Oct 01, 2006 - Apr 30, 2010.
4. [PM063/2007] "ZaraMit: Sistema Informático para DNA mitocondrial humano y su estudio evolutivo". 10 researchers. Main researcher: Prof. Dr. Elvira Mayordomo. Funded by Aragonese Government (Diputación General de Aragón) (54750€). Oct 01, 2007 - Sep 30, 2009.
5. "Grupo de Excelencia 2005 - Grupo de Ingeniería de Sistemas de Eventos Discretos (GISED)". 26 researchers. Main researcher: Prof. Dr. Manuel Silva. Funded by Aragonese Government (Diputación General de Aragón) (72979.44€). Jan 01, 2005 - Dec 31, 2007.
6. "Grupo Consolidado 2002 - Grupo de Ingeniería de Sistemas de Eventos Discretos (GISED)". 18 researchers. Main researcher: Prof. Dr. Manuel Silva. Funded by Aragonese Government (Diputación General de Aragón) (61326.96€). Jan 01, 2003 - Dec 31, 2005.
7. [TIC2001-1819] "Desarrollo de técnicas para la aceleración de la simulación de sistemas de eventos discretos. Aplicación al modelado, optimización y simulación de sistemas logísticos". 10 researchers. Main researcher: Prof. Dr. José-Manuel Colom. Funded by Ministerio de Educación y Ciencia, C.I.C.Y.T. (106018.53€). Dec 28, 2001 - Dec 27, 2004.