Research Interestes

• Keyworkds:Petri Nets, Deadlock Prevention, Deadlock Avoidance, Distributed Systems, weblogs, social networks, blogosphere
• Searching for bibliography: BibFinder: A Computer Science Bibliography Mediator
• Related links:
  • COS2MOS (Computer Science for Complex System Modeling).
  • Home of Petri nets at DAIMI
  • The Petri nets bibliography (References to our work in the bibliography.
  • FME applications database: a collection of descriptions of applications of formal methods
  • MATCH Summer School

Publications

• A proposal for federated chatbots for distributed information access (link for extended version)
  Tricas, Fernando. In Proceedings of the ESM®’2023 (The 37th annual European Simulation and Modelling Conference) October 2023, Toulouse, France, pp. 151–154. Slides
• Detección de Intrusiones en Redes de Comunicaciones Usando Minería de Datos.
  Calvera, Arturo; Ilarri, Sergio; Tricas, Fernando. In Actas de las las XXVII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2023). Ciudad Real, España.
• Un buen maridaje entre MOOC y OCW
  Zapata Abad, Mª Antonia ; Tricas García, Fernando; Sein-Echaluce Lacleta, María Luisa; Esteban Sánchez, Ana; Esteban Escaño, Javier
• La Presencia del Investigador en el Ecosistema Digital de la Ciencia Abierta In, "Aprendizaje, Innovación y Cooperación como impulsores del cambio metodológico". Actas del V Congreso Internacional sobre Aprendizaje, Innovación y Cooperación. CINAIC 2019 (9-11 de Octubre de 2019, Madrid, España).
  Francisco José García - Peñalvo, Ángel Fidalgo Blanco, María Luisa Sein-Echaluce, Fernando Tricas
• Measuring the local GitHub developer community.
  J.J. Merelo, Nuria Rico, Israel Blancas, M. G. Arenas, Fernando Tricas, José Antonio Vacas. Research Report. 2015.
• Using the Incidence Matrix in an Evolutionary Algorithm for Computing Minimal Siphons in Petri Net Models.
  Fernando Tricas, Jose-Manuel Colom, Juan Julian Merelo. In Proceedings of the 18th International Conference on System Theory, Control and Computing ICSTCC 2014, pp. 651-657. Sinaia, Romania. October 17 - 19, 2014. DOI: 10.1109/ICSTCC.2014.6982490 [PDF Accepted version]
• The deadlock problem in the control of Flexible Manufacturing Systems: An overview of the Petri net approach (Invited paper)..
  J. P. López-Grao, J. M. Colom, F. Tricas. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), Barcelona, Spain. 2014. IEEE. DOI: 10.1109/ETFA.2014.7005030.
• Enhancing Banker's Algorithm for Avoiding Deadlocks in Systems with Non-sequential Processes.
  Michal Zarnay, Fernando Tricas García. In Proceedings of the 19th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2014), Barcelona, Spain. 2014. IEEE. DOI: 10.1109/ETFA.2014.7005149
• Computing minimal siphons in Petri net models of Resource Allocation Systems: An evolutionary approach (PDF in CEUR). Slides at Speaker Deck ([PDF] Download slides).
  F. Tricas, JM Colom, JJ Merelo. In Proceedings of the International Workshop on Petri Nets and Software Engineering 2014, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th International Conference on Application of Concurrency to System Design (ACSD 2014), pp. 307-322. Tunis, Tunisia, June 23-24, 2014.
• Construction of Data Streams Applications from Functional, Non-Functional and Resource Requirements for Electric Vehicle Aggregators. The COSMOS Vision (PDF in CEUR). [PDF] Poster.
  José Ángel Bañares, Rafael Tolosana-Calasanz, Fernando Tricas, Unai Arronategui, Javier Celaya, José Manuel Colom. In Proceedings of the International Workshop on Petri Nets and Software Engineering 2014, co-located with 35th International Conference on Application and Theory of Petri Nets and Concurrency (PetriNets 2014) and 14th International Conference on Application of Concurrency to System Design (ACSD 2014), pp. 333-334. Tunis, Tunisia, June 23-24, 2014.
• Structural Deadlock Prevention Policies for Flexible Manufacturing Systems: A Petri Net Outlook. [PDF] draft
  Juan-Pablo López-Grao, José Manuel Colom, Fernando Tricas. In: Formal Methods in Manufacturing, March, 2014 by CRC Press. ISBN: 9781466561557
• RessAllocation Petri net Model.
  Fernando Tricas, Joaquín Ezpeleta. In: Model Checking Contest 2013, Milano, Italy, June 2013. Analysis of results in F. Kordon, A. Linard, M. Becutti, D. Buchs, L. Fronc, F. Legond-Aubry, N. Lohmann, F. Hulin-Hubard, A. Marechal, E. Paviot-Adet, F. Pommereau, C. Rodrigues, C. Rohr, Y. Thierry-Mieg, H. Wimmel, and K. Wolf. Web report on the model checlink contest @ petri net 2013, available at http://mcc.lip6.fr, June 2013.
• Teaching and social media: best practices. (In Word)
  Rosana Montes, Juan Julián Merelo, Fernando Tricas In: EFQUEL Innovation Forum 2012. Learning for Innovation. Granada, septiembre 2012.
  [PDF] Programa.
• Los medios y los memes.
  Juan J. Melero, F. Tricas. Capítulo del libro: La Comunicación Digital, editado por Germán Llorca Abad, Mar Iglesias García, Àlvar Peris Blanes. Tirant lo Blanc. Valencia, Spain (in Spanish) pp. 219-226. 2012.
• Visualizing the evolution of a web-based social network .
  Beatriz Prieto, Fernando Tricas, Juan J. Merelo, Antonio Mora, and Alberto Prieto. In Journal of Network and Computer Applications Volume 31, Issue 4, November 2008, Pages 677-698. doi:10.1016/j.jnca.2007.11.003
• NectaRSS, an intelligent RSS feed reader.
  Juan J. Samper, Pedro A. Castillo, Lourdes Araujo, J.J. Merelo, Óscar Cordón, Fernando Tricas. In Journal of Network and Computer Applications, Volume 31, Issue 4, November 2008, Pages 793-806. doi:10.1016/j.jnca.2007.09.001
• Redes Sociales en Internet.
  Juan Julián Merelo Guervós y Fernando Tricas García. In 'Interactividad Digital. Nuevas estrategias en educación y comunicación'. Coordinadora: Estrella Martínez Rodrigo. Octubre, 2008, pp: 49-62. Editorial EOS. ISBN 978-84-9727-292-6.
• Agregando la participación de los alumnos en la clase conectada (pdf).
  J.J. Merelo Guervós, P.A. Castillo Valdivieso, P. García Sánchez, and F. Tricas. In José Manuel Badía Contelles, ed., Actas XIX Jornadas de Paralelismo, Castellón, septiembre, 2008.
• Espacio Cooperativo en Internet: conocer y reconocer a los innovadores.
  Fernando Tricas García, Jesús Vela Rodrigo, M. Luisa Sein Echaluce Lacleta, M. Dolores Lerís López, Natalia Boal Sánchez, José Manuel Correas Dobato, Milagros Gil Ruíz, Pedro Jodrá Esteban. In Actas de las XIV Jornadas de Enseñanza Universitaria de Informática (JENUI 2008), pp. 205-210. Granada, Spain. La presentación (se puede ver con flash o descargar en pdf)
• Espacio Cooperativo en Internet para promover la Innovación Educativa en el Centro Politécnico Superior y la Escuela Universitaria de Ingeniería Técnica Industrial de Zaragoza. (pdf).
  Fernando Tricas García, Jesús Vela Rodrigo, M. Luisa Sein Echaluce Lacleta, M. Dolores Lerís López, Natalia Boal Sánchez, José Manuel Correas Dobato, Milagros Gil Ruíz, Pedro Jodrá Esteban. In II Jornadas de Innovación Docente, Tecnologías de la Comunicación e Investigación Educativa en la Universidad de Zaragoza.
• Browser-based distributed evolutionary computation: performance and scaling behavior
  J. J. Merelo, Antonio Mora García, Juan Luis Jiménez Laredo, Juan Lupión, Fernando Tricas. In Proceedings of the 2007 GECCO conference companion on Genetic and evolutionary computation, Pages: 2851-2858. ISBN:978-1-59593-698-1. July, 07 - 11, 2007. London, United Kingdom. DOI: 10.1145/1274000.1274083. Slides of the presentation (flash, also available for downloading in pdf).
• Experiencias con la herramienta SWECAI en una clase conectada.
  Juan Julián Merelo Guervós and Carmel Hassán-Montero and Fernando Tricas García. In Evaluación de la Calidad de la Educación Superior y de la Investigación (IV Foro) (pdf), Pages: 63. ISBN: 978-84-690-8321-5. 2007, Granada, Spain.
• SWECAI: Sistema web centrado en el alumno inteligente.
  Juan Julián Merelo, Carmel Hassan, Juan Luis Jiménez, Fernando Tricas In Actas de las XIII Jornadas de Enseñanza Universitaria de Informática (JENUI), pp. 153-159, julio 2007. Teruel. Spain. Se pueden descargar las transparencias de la presentación (1,2 Mb, OpenDocument Presentation, se puede ver con OpenOffice.org).
• Analyzing a Web-Based Social Network Using Kohonen's SOM.
  Beatriz Prieto, Juan J. Merelo, Alberto Prieto, and Fernando Tricas. In F. Sandoval et al. (Eds.). Proceedings of IWANN 2007. LNCS 4507. ISBN: 978-3-540-73006-4 , pp. 911-918, 2007. DOI 10.1007/978-3-540-73007-1_110
• Bitácoras: ampliando los canales de comunicación con los estudiantes.
  Fernando Tricas, Juan Julián Merelo y Carmen Hassan-Montero; Jornadas sobre Innovación docente, tecnologias de la información y la comunicación e investigación educativa en la Universidad de Zaragoza. Caminando hacia Europa
• Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution.
  Tricas, F.; Ezpeleta, J.; Systems, Man and Cybernetics, Part A, IEEE Transactions on Volume 36, Issue 3, May 2006 Page(s):532 - 539. DOI: 10.1109/TSMCA.2005.855751
  The source code to generate the Petri Net models used in the paper can be downlowaded at: Petri Net Tools on GitHub.
• Medios digitales, transmisión de información y formación del espacio público: comunicación de masas y comunicación en red ante el 11-M. [PDF]
  López García, Guillermo; Merelo Guervós, Juan Julián; y Tricas García, Fernando En En Vara, A.; Virgili, J. R.; Giménez, E.; y Díaz, M. (eds.). La comunicación en situaciones de crisis: del 11-M al 14-M. 2006. Pamplona: Eunsa. pp. 231-246. Actas del XIX Congreso Internacional de Comunicación de la UNAV (Pamplona, 11-12 de noviembre). ISBN: 9788431323745.
• El tamaño de la blogosfera: medidas y herramientas (pdf, 15 pags., in Spanish)
  Fernando Tricas, Juan Julián Merelo-Guervós, Víctor R. Ruiz. En el libro La blogosfera hispana. Pioneros de la cultura digital (pdf, 223 páginas, 1.9Mb), pp. 38-51. Coordinador: José M. Cerezo. Edita: Fundación France Telecom España.
• Weblog recommendation using association rules
  Juan Julián Merelo Guervós, Pedro A. Castillo, Beatriz Prieto Campos, José Carpio Cañada , Fernando Tricas García , Gemma Ferreres. In proceedings of IADIS International Conference Web Based Communities 2006. pp. 127-132. ISBN: 972-8924-10-0. Editors: Piet Kommers,Pedro Isaías and Ambrosio Goikoetxea. Slides of my talk (pdf)
• Qué son las bitácoras y algunos datos sobre ellas (pdf).
  Fernando Tricas y Juan Julián Merelo. En el libro: EL ECOSISTEMA DIGITAL: Modelos de comunicación, nuevos medios y público en Internet, pp. 89-108. ISBN 84-370-6302-7. Valencia : Servei de Publicacions de la Universitat de València, 2005. Ed. López García, Guillermo. 375pp.
• Métrica de la blogosfera. Algunas medidas y relaciones en la blogosfera hispana.
  Juan Julián Merelo y Fernando Tricas. En Telos. Numero 65. Cuaderno Central dedicado a 'Blogs, weblogs, bitácoras'.
• Using linear programming and the Petri net structure for deadlock prevention in sequential resource allocation systems (pdf).
  F. Tricas García, F.García-Vallés, J.M. Colom, J. Ezpeleta. In Actas de las XV Jornadas de Concurrencia y Sistemas Distribuidos (JCSD 2005), en el Congreso Español de Informática. Granada, Spain. pp. 65-77. ISBN: 84-9732-432-3.
• Integración de wikis en una clase de informática: un paso más en la creación de comunidad (pdf).
  J.J. Merelo-Guervós, F. Tricas. In Actas del simposio nacional de tecnologías de la información y las comunicaciones en la educación (SINTICE 2005), en el Congreso Español de Informática. Granada, Spain. pp. 19-26. ISBN: 84-9732-437-4.
• A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems
  F. Tricas, F.García-Vallés, J.M. Colom, J. Ezpeleta. In Proceedings of 2005 International Conference on Robotics and Automation, ICRA 2005. Barcelona, Spain. April 2005, pp. 272-278. DOI: 10.1109/ROBOT.2005.1570131 Slides of my talk (pdf)
• Visualización de la evolución de una red social generada por weblogs
  Juan Julián Merelo Fernando Tricas In Actas del II Congreso ONLINE Observatorio de la Cibersociedad. Noviembre 2004.
• Recomendación de weblogs utilizando reglas de asociación (on line, html)
  Juan Julián Merelo, José Carpio Cañada, José Carpio Cañada, Fernando Tricas In Actas del II Congreso ONLINE Observatorio de la Cibersociedad (on line, html). Noviembre 2004.
• Uso de bitácoras en la enseñaza de una asignatura de informática.
  Merelo Guervós, Juan J. Tricas García, Fernando In Actas del IV Congreso de Aplicación de las Nuevas Tecnologías en la Docencia Presencial y E-Learning. Póster. Octubre 2004, Valencia, España.
• Weblogging in computer science classes (pdf)
  Juan J. Merelo Guervós and Fernando Tricas In Proceedings of Innovation, Technology and Research in Education, International Conference on Education, IADAT-e2004, pp. 302-307. Bilbao. España.
• Revisiting the Spanish blogosphere (pdf)
  Juan J. Merelo / Jose L. Orihuela / Fernando Tricas / Victor Ruiz (slides pdf) In Proceedings of BlogTalk 2004, pp. 339-352. ISBN 3901806741.
• Blogosphere community formation, structure and visualization (pdf).
  Juan J. Merelo / Beatriz Prieto / Fernando Tricas. In Proceeding of BlogTalk 2004, pp 23-37. ISBN 3901806741.
• Jornada "Comunidades virtuales: Blogosfera y comunidades de Software Libre". Presentación: Una introducción a la blogosfera y lo que podemos medir allí (slides, pdf)
• The Spanish-speaking Blogosphere: towards the powerlaw?.
  F. Tricas, Juan J. Merelo-Guervós (pdf, Slides pdf).
  In proceedings of Web Based Communities 2004, pp. 430-433. Lisbon, Portugal.
• Clustering web-based communities using self-organizing maps. (pdf)
  Juan J. Merelo-Guervós, Beatriz Prieto, Alberto Prieto, Gustavo Romero-López, Pedro Castillo Valdivieso, Fernando Tricas.
  In proceedings of Web Based Communities 2004, pp. 158­165. Lisbon, Portugal.
• Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets Abstract from IEEE Xplore
  Fernando Tricas Joaquín Ezpeleta
  In: Proceedings of the ETFA2003 9th IEEE International Conference on Emerging Technologies and Factory Automation Vol.1, pp. 322-329, Lisboa, Portugal, 16-19 September 2003. DOI: 10.1109/ETFA.2003.1247724
• Measuring the Spanish Blogosphere
  Juan Julián Merelo, Fernando Tricas, Víctor Ruiz
  In: in Proceedings of Towards New Media Paradigms (COST A20 Conference), pp.657-666. Pamplona, Spain, 27-28 June.
• Parallelizing the computation of siphons for deadlock prevention in resource allocation systems modeled with Petri nets
  F. Tricas, J. Ezpeleta
  In: Actas de las XI Jornadas de Concurrencia, Benicasím, Castellón, 11-13 de junio, 2003, pp. 281-294.
  abstract
• Do we live in a Small World? Measuring the Spanish-speaking blogosphere (pdf)
  Fernando Tricas, Juan J. Merelo, Víctor R. Ruíz
  Slides (pdf) In: BlogTalks, proceedings of BlogTalk A European Conference on Weblogs, pp. 158-173. Viena, Austria, May 23-24, 2003. ISBN 3901806997.
• Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems.
  F. Tricas
  Ph.D. Thesis, Depto. Informática e Ingeniería de Sistemas, Universidad de Zaragoza, May 2003, 195 pages. (download, gzipped pdf). In Digital Repository of Universidad de Zaragoza.
• A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states Abstract from IEEE Xplore
  Ezpeleta, J.; Tricas, F.; Garcia-Valles, F.; Colom, J.M.
  Page(s): 621 -625
  Volume: 18 Issue: 4, August 2002, IEEE Transactions on Robotics and Automation. DOI: 10.1109/TRA.2002.801048.
  Abstract, PDF full text (for IEEE members and suscriptors)
• An Iterative Method for Deadlock Prevention in FMS (At Springerlink)
  F. Tricas, F. García-Vallés, J. M. Colom and J. Ezpeleta
  In: Discrete Event Systems. Analysis and Control. Ed by R. Boel and G.Stremersch, Kluwer Academic Publishers, Proceedings of 5th Workshop on Discrete Event Systems (WODES 2000), ISBN: 978-1-4613-7025-3. Ghent, Belgium, 21-23 August, 2000, pp.139-148. DOI: 10.1007/978-1-4615-4493-7_14.
• Structurally safe net systems
  F. García-Vallés, F. Tricas, J. M. Colom and J. Ezpeleta
  In: Discrete Event Systems. Analysis and Control. Ed by R. Boel and G.Stremersch, Kluwer Academic Publishers, Proceedings of 5th Workshop on Discrete Event Systems (WODES 2000). ISBN 978-1-4613-7025-3, Ghent, Belgium, 21-23 August, 2000, pp.441-448. DOI 10.1007/978-1-4615-4493-7_47
• New Methods for Deadlock Prevention and Avoidance in Concurrent Systems
  F. Tricas, F. García-Vallés, J. M. Colom and J. Ezpeleta
  In Actas de las Jornadas de Concurrencia 2000, Cuenca, Spain, June, 14-16, 2000, pp.97-110.
• Some Improvements to the Banker's Algorithm based on the process structure PDF from IEEE Xplore. Abstract from IEEE Xplore.
  F. Tricas and J.M. Colom and J. Ezpeleta
  In proceedings of the IEEE International Conference on Robotics and Automation (ICRA) , San Francisco (USA), April 24-28, 2000, pp.2853-2858. DOI: 10.1109/ROBOT.2000.846460
• A solution to the problem od deadlocks in concurrent systems using Petri nets and integer linear programming.
  F. Tricas, J.M. Colom and J. Ezpeleta
  In proceedings of the ESS'99 conference, Erlangen (Germany), October 1999, pp. 542-546.
• A Petri Net solution to the problem of deadlocks in systems of processes with resources. PDF from IEEE Xplore. Abstract from IEEE Xplore
  F. Tricas and J. Ezpeleta
  in proceedings of the ETFA'99 conference, Barcelona (Spain), October 1999, pp.1047-1056. DOI: 10.1109/ETFA.1999.813106
• A structural approach to the problem of deadlock prevention in processes with resources.
  F. Tricas and F. García-Vallés and J.M. Colom and J. Ezpeleta
  In proceedings of the Worksok On Discrete Event Systems'98 (WODES'98)
• Optimal control of discrete event systems. F.García-Vallés and F.Tricas and J.M. Colom and J. Ezpeleta
  In proceedings of the Worksok On Discrete Event Systems'98 (WODES'98)
• A Partial Approach to the Problem of Deadlocks in Processes with Resources
  F. Tricas and J. Ezpeleta
  Workshop Petri Nets in System Engineering (PNSE'97)
• Distributed Control Systems Simulation Using High Level Petri Nets .
  F. Tricas and J. Martínez
  In Mathematics and Computers in Simulation 46(1) (1998) 47-55. doi:10.1016/S0378-4754(97)00157-2
  
• A Partial Approach to the Problem of Deadlocks in Processes with Resources
  F. Tricas and F.G. García-Vallés and J.M. Colom and J. Ezpeleta
  Research Report Grupo de Ingeniería de Sistemas e Informética. GISI-RR-97-05.
• An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. PDF from IEEE Xplore. Abstract from IEEE Xplore.
  F. Tricas and J. Martínez
  In Proceedings of the 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century
  pp. 4119-4124, Vancouver, British Columbia, October 1995. DOI: 10.1109/ICSMC.1995.538247
• Distributed Control Systems Simulation Using High Level Petri Nets
  F. Tricas and J. Martínez
  In Proceedings of the European Simulation Meeting
  pp. 227-233, Gyõr, Hungary, August 1995.
  
• Corrección de Programas y Redes de Petri de Alto Nivel (In Spanish).
  F. Tricas and J. Martínez
  In Actas de las I Jornadas de Informática,
  pp. 154-164, Puerto de la Cruz, Tenerife, Spain, July 1995.
  

---

Updated 2016-07-01

ftricas@unizar.es