• L.Brotcorne, J. Ezpeleta, C. Galé \\ **A biobjective model for resource provisioning in multi-cloud environments with capacity constraints**\\ Journal of Operational Research, Research (2023) 23:31, DOI: https://doi.org/10.1007/s12351-023-00773-x • A. Valero, R. Gran-Tejero, D. Suárez-Gracia, E. A. Georgescu. J. Ezpeleta, P. Álvarez, A. Muñoz, L. M. Ramos, P. Ibáñez \\ **A learning experience toward the understanding of abstraction-level interactions in parallel applications**\\ Journal of Parallel and Distributed Computing, 2021, DOI: https://doi.org/10.1016/j.jpdc.2021.05.008 • J. Fabra, P. Álvarez, J. Ezpeleta \\ **Log-Based Session Profiling and Online Behavioral Prediction in E–Commerce Websites**\\ IEEE Access, vol. 8, pp. 171834-171850, 2020, doi: 10.1109/ACCESS.2020.3024649. • J. Fabra, J. Ezpeleta, P. Álvarez \\ **Reducing the Price of Resource Provisioning using EC2 Spot Instances with Prediction Models**\\ Future Generation Computer Systems, Volume 96, July 2019, Pages 348-367, https://doi.org/10.1016/j.future.2019.01.025 • J. Fabra, M.J.Ibáñez, P. Álvarez, J. Ezpeleta \\ **Behavioral analysis of scientific workflows with semantic information**\\ IEEE Access, vol. 6, pp. 66030-66046, 2018, doi: 10.1109/ACCESS.2018.2878043. • P. Álvarez, S. Hernández, J. Fabra, and J. Ezpeleta \\ **Cost-driven provisioning and execution of a computing-intensive service on the Amazon EC2**\\ The Computer Journal, Volume 61, Issue 9, September 2018, Pages 1407–1421, https://doi.org/10.1093/comjnl/bxy006 • J. M. Couvreur, J. Ezpeleta\\ **A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes** \\ Proceedings of the 7th International Symposium on Data-driven Process Discovery and Analysis (SIMPDA 2017), Neuchâtel, Switzerland, December 6-8, 2017, ISSN: 1613-0073, Lecture Notes in Business Information Processing, Vol. 340, Springer, Paolo Ceravolo, Maurice van Keulen and Kilian Stoffel (Eds.), 2019 • E. González-López de Murillas, J. Fabra, P Álvarez, J. Ezpeleta \\ **Parallel computation of the reachability graph of Petri net models with semantic information** \\ Software: Practice and Experience, 2017 (47), pp. 647-668 • S. Hernández, P. Álvarez, J. Fabra, and J. Ezpeleta \\ **Analysis of users’ behaviour in structured e-commerce websites**\\ IEEE Access, vol. 5, pp. 11941-11958, 2017, doi: 10.1109/ACCESS.2017.2707600. • S. Hernández, P. Álvarez, J. Fabra, and J. Ezpeleta\\ **Using model checking to identify customers’ purchasing behaviour in an e-commerce** \\ Proceedings of workshop "Algorithms & Theories for the Analysis of Event Data", ATAED 2017, Zaragoza, Spain, 2017, pp. 158-164. • J. Fabra, S. Hernández, P. Álvarez, J. Ezpeleta \\ **A history-based model for provisioning EC2 spot instances with cost constraints** \\ Proceedings of the 13th International Conference on Economics of Grids, Clouds, Systems and Services (GECON '16), Athens, Greece, September 20-22, 2016. • P. Álvarez, J. Fabra, S. Hernández, J. Ezpeleta \\ **Alignment of teacher’s plan and students’ use of LMS resources. Analysis of Moodle logs** \\ 15th International Conference on Information Technology Based Higher Education and Training, Istambul (Turkey), 8-10 September 2016 • S. Hernández, J. Fabra, P. Álvarez, J. Ezpeleta \\ **Cost estimation for the provisioning of computing resources to execute bag-of-tasks applications in the Amazon cloud** \\ Proceedings of the 12th International Conference on Economics of Grids, Clouds, Systems and Services (GECON '15), Cluj-Napoca, Romania, September 15-17, 2015, Lecture Notes in Computer Science Volume 9512, pp, 65-77, 2015. • S. Hernández, S. J. van Zelst, J. Ezpeleta, W. M. P.van der Aalst \\ **Assessing Process Discovery Scalability in Data Intensive Environments** \\ Proceedings of the the 2nd IEEE/ACM International Symposium on Big Data Computing (BDC '15), pp. 90-105, Limassol, Chipre, 7–10 diciembre 2015. • S. Hernández, S. J. Van Zelst, J. Ezpeleta, W. M. P. van der Aalst \\ **Logs: Connecting ProM 6 to Apache Hadoop** \\ 13th International Conference on Business Process Management. Demo Session (BPM-Demo ’15), Innsbruck, Austria, 31 Agosto-3 Septiembre 2015, pp. 80-84 • S. Hernández, J. Fabra, P. Álvarez, J. Ezpeleta \\ **Simulation and Realistic Workloads to Support the Meta-scheduling of Scientific Workflows** \\ Simulation and Modeling Methodologies, Technologies and Applications, Advances in Intelligent Systems and Computing Volume 256, Springer, 2014, pp 155-167 • J. Fabra, S. Hernández, J. Ezpeleta, P. Álvarez \\ **Solving the interoperability problem by means of a bus. An experience on the integration of grid, cluster and cloud infrastructures** \\ Journal of Grid Computing, Special Issue on Interoperability, Federation, Frameworks and Application Programming Interfaces for IaaS Clouds, 2014, Vol. 12, pp. 45-61, DOI: 10.1007/s10723-013-9276-1 • S. Hernández, J. Fabra, P. Álvarez, J. Ezpeleta \\ **Cost Evaluation of Migrating a Computation Intensive Problem from Clusters to Cloud** \\ Proceedings of the 10th International Conference on Economics of Grids, Clouds, Systems and Services (GECON '13), Lecture Notes in Computer Science Volume 8193, pp. 90-105, 2013. • S. Hernández, J. Fabra, P. Álvarez, J. Ezpeleta \\ **Using Cloud-based Resources for Improving Availability and Reliability in a Scientific Workflow Execution Framework** \\ Proceedings of the Fourth International Conference on Cloud Computing, GRIDs, and Virtualization, CLOUD COMPUTING 2013, May 27 - June 1, 2013 - Valencia, Spain • S. Hernández, J. Fabra, P. Álvarez, J. Ezpeleta \\ **A Reliable and Scalable Service Bus Based on Amazon SQS** \\ Proceedings of the 2nd European Conference on Service-Oriented and Cloud Computing (ESOCC '13), Lecture Notes in Computer Science Volume 8135, pp. 196-211, 2013. • E. González-López de Murillas, J. Fabra, P. Álvarez, J. Ezpeleta \\ **COMBAS: A Semantic-Based Model Checking Framework**\\ Proceedings of the Sixth International Conference on Advanced Engineering Computing and Applications in Sciences (ADVCOMP 2012), 2012, pp. 46-52, ISBN: 978-1-61208-237-0 • J. Fabra, S. Hernández, P. Álvarez, J. Ezpeleta \\ **A Framework for the Flexible Deployment of Scientific Workflows in Grid Environments**\\ Proceedings of the Third International Conference on Cloud Computing, GRIDs, and Virtualization (CLOUD 2012), 2012. ISBN: 978-1-61208-216-5 • S. Hernández, J. Fabra, P. Álvarez, J. Ezpeleta \\ **A Simulation-based Scheduling Strategy for Scientific Workflows** \\ Proceedings of the 2nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2012), pp. 61-70, ISBN: 978-989-8565-20-4. • M.J. Ibáñez, J. Fabra, P. Álvarez, J. Ezpeleta\\ **Model Checking Analysis of Semantically Annotated Business Processes**\\ IEEE Transactions on Systems, Man, and Cybernetics–Part A: Systems and Humans, Vol. 42(2), Pages 854-867, 2012 • J. Fabra, P. Álvarez, J.A. Bañares, J. Ezpeleta\\ **DENEB: A Platform for the Development and Execution of Interoperable Dynamic Web Processes**\\ Concurrency and Computation: Practice and Experience, Volume 23, July 2011, pp. 2421-2451, DOI:10.1002/cpe.1795 • M.J. Ibáñez, P. Álvarez, J. Ezpeleta\\ **Analyzing Behavioral Properties of Semantic Business Processes with Parametric Data**\\ Concurrency and Computation: Practice and Experience, Volume 23 Issue 6, April 2011, pp. 525-555 • M.J. Ibáñez, P. Álvarez, J.A. Bañares, J. Ezpeleta\\ **Control and Data Flow Compatibility in the Interaction between Dynamic Business Processes**\\ Concurrency and Computation: Practice and Experience, Volume 23 Issue 1, January 2011, pp. 57-85 • R. Tolosana-Calasanz, J.A. Bañares, Omer F. Rana, P. Álvarez, J. Ezpeleta\\ **An Uncoordinated Asynchronous Checkpointing Model for Hierarchical Scientific Workflows**\\ Journal of Computer and System Sciences, special issue on Scientific Workflows, Vol. 76, N. 6, 2010, pp. 403-415, DOI 10.1016/j.jcss.2009.11.003 • R. Tolosana-Calasanz, J.A. Bañares, Omer F. Rana, P. Álvarez, J. Ezpeleta, A. Hoheisel\\ **Adaptive Exception Handling for Scientific Workflows**\\ Concurrency and Computation: Practice and Experience, Vol. 22, N. 5, pp. 617-642, April 2010 • M. J. Ibáñez, G. Vulcu, J. Ezpeleta, S. Bhiri\\ **Semantically Enabled Business Process Discovery**\\ 25th ACM Symposium On Applied Computing, March 22-26, 2010, Laussane, Suisse, Track on The Semantic Web and Applications (SWA), pp. 1396-1403\\ \\ • M. J. Ibáñez, P. Álvarez, J. Ezpeleta\\ **RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes**\\ Proceedings of the Third IEEE International Conference on Semantic Computing (ICSC09), Berkeley, CA, USA - September 14-16, 2009, pp. 245-252\\ \\ • M. J. Ibáñez, P. Álvarez, J. Ezpeleta\\ **Symbolic Analysis of the Behavior of Semantic Business Processes**\\ Proceedings of the International Conference on Semantic Web and Web Services (SWWS’09), Las Vegas, Nevada, USA, July 13-16, 2009\\ \\ • M. J. Ibáñez, P. Álvarez, S. Bhiri, J. Ezpeleta\\ **Unary RDF-Annotated Petri Nets: A Formalism for the Modeling and Validation of Business Processes with Semantic Information**\\ Proceedings of the 4rd International Workshop on Semantic Business Process Management (SBPM 2009) at ESWC 2009, Crete, Greece, June, 2009\\ \\ • M. J. Ibáñez, S. Bhiri, J. Ezpeleta\\ **Discovery of Business Processes based on Behavioral Descriptions**\\ Proceedings of the International Conference on Semantic Web and Web Services (SWWS’09), Las Vegas, Nevada, USA, July 13-16, 2009\\ \\ • M. J. Ibáñez, P. Álvarez and J. Ezpeleta\\ **Flow and Data Compatibility for the Correct Interaction between Web Processes**\\ Proceedings International Conference on Intelligent Agents, Web Technologies and Internet Commerce (IAWTIC08), 10-12 December 2008 - Vienna, Austria, pp. 716-722\\ \\ • R. Tolosana-Calasanz, O. Rana, J.A. Bañares, P. Álvarez, J. Ezpeleta\\ **Exception Handling Patterns for Hierarchical Scientific Workflows**\\ Proceedings of the 6th International Workshop on Middleware for Grid Computing, Belgium - December 1 - 5, 2008\\ \\ • M. J. Ibáñez, P. Álvarez and J. Ezpeleta\\ **Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes**\\ Proceedings 6th IEEE European Conference on Web Services, 12-14 November, Dublin, Ireland, 2008, pp. 92-101 \\ \\ • J. Fabra, P. Álvarez, J. Ezpeleta\\ **Development of Configurable e-marketplaces Based on a Flexible Management of e-negotiation Protocols**\\ Proceedings of the 2008 IADIS International Conference on e-Commerce, Amsterdam, The Netherlands 25-27 July 2008, pp. 193-200\\ \\ • J.M. Falcó, A. Marco, A. Asensio, R. Blasco, R. Casas, J. Ezpeleta\\ **Time Orientation Device for Special Education**\\ Lecture Notes In Computer Science. Emerging Technologies and Information Systems for the Knowledge Society, Vol: 5288, pp. 158-166, ISSN: 0302-9743; 2008\\ \\ • J. Fabra, J.A. Bañares, P. Álvarez, J. Ezpeleta\\ **Run Time Protocol Binding: Flexible Service Integration By Means of Flexible Service Interactions**\\ Proceedings of the 2008 IEEE International Conference on Services Computing (SCC 2008) July 8-11, 2008, Honolulu, Hawaii, USA\\ \\ • J. Fabra, J. Peña, A. Ruiz, J. Ezpeleta\\ **Development of Flexible Service-Oriented Solutions Based on UML2 Modelling and Reference Petri Nets Execution**\\ Proceedings of the Third International Conference on Internet and Web Applications and Services (ICIW’08), June 8-13, Athens, Greece, 2008, pp. 198-204\\ \\ • R. Tolosana-Calasanz, J.A. Bañares, P. Álvarez, J. Ezpeleta\\ **On Interlinking of Grids: a Proposal for Improving the Flexibility of Grid Service Interactions**\\ Proceedings of the Third International Conference on Internet and Web Applications and Services (ICIW’08), June 8-13, Athens, Greece, 2008, pp. 714-720\\ \\ • R. Tolosana-Calasanz, J.A. Bañares, P. Álvarez, J. Ezpeleta\\ **DVega: A Service-Oriented Grid Workflow Management System**\\ Proceedings of International Conference on Grid computing, high-performAnce and Distributed Applications (GADA'07), Vilamoura, Algarve, Portugal, Nov 29 - 30, 2007, pp. 1516-1523\\ \\ • J. Fabra, P. Álvarez, J. Ezpeleta\\ **DRLinda: A Distributed Message Broker for Collaborative Interactions Among Business Processes**\\ 8th International Conference on Electronic Commerce and Web Technologies (EC-Web 2007), Lecture Notes in Computer Science, Vol. 4655, pp. 212-221, Sept. 2007\\ \\ • J. Fabra, P. Álvarez, J.A. Bañares, J. Ezpeleta\\ **A framework for the development and execution of horizontal protocols in open BPM systems**\\ 4th International Conference on Business Process Management (BPM 2006), Lecture Notes in Computer Science, Vol. 4102, pp. 209 -224, Sept. 2006\\ \\ • J. Fabra, P. Álvarez, J.A. Bañares, J. Ezpeleta\\ **RLinda: a Petri net based implementation of the Linda coordination paradigm for Web services interactions**\\ 7th International Conference on Electronic Commerce and Web Technologies (EC-Web 2006), Lecture Notes in Computer Science, Vol. 4082, pp. 183-192, Sept. 2006\\ \\ • J. Ezpeleta, R. Valk\\ **A polynomial deadlock avoidance method for a class of non-sequential Resource Allocation Systems**\\ IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans, 36 (6): 1234-1243 NOV 2006\\ \\ • F. Tricas, J. Ezpeleta\\ **Computing minimal siphons in Petri net models of Resource Allocation Systems: a parallel solution**\\ IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans, 36 (3): 532-539 May 2006\\ \\ • P. Álvarez, J.A. Bañares, J. Ezpeleta\\ **Approaching Web service coordination and composition by means of Petri nets. The case of Nets-within-Nets paradigm** \\ Proceedings of Third International Conference on Service-Oriented Computing (ICSOC-05), Lecture Notes on Computer Science, Vol. 3826, B. Benatallah, F. Casati, and P. Traverso (Eds.), Springer-Verlag, 2005, pp. 185-197, ISSN: 0302-9743, ISBN: 3-540-30817-2, DOI: 10.1007/11596141, pp. 185-197\\ \\ • F. Tricas, F.García-Vallés, J.M. Colom, J. Ezpeleta\\ **A Petri Net Structure-Based Deadlock Prevention Solution for Sequential Resource Allocation Systems** \\ Proceedings of the IEEE International Conference on Robotics and Automation, Barcelona, Spain. April 2005, pp. 271-277, ISBN: 0-7803-8914-X\\ \\ • L.Recalde, M. Silva, J. Ezpeleta and E. Teruel\\ **Petri Nets and Manufacturing Systems: An Examples-Driven Tour**\\ Lecture Notes on Concurrency and Petri Nets, Desel, Jörg; Reisig, Wolfgang; Rozenberg, Grzegorz (Eds.), Vol. 3098, Springer Verlag, 2004, pp. 742-788\\ \\ • J. Ezpeleta and L. Recalde\\ **A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems**\\ IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans, Vol. 34, N. 1, January 2004\\ \\ • F. Tricas and J. Ezpeleta\\ **Some results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets**\\ Proceedings of the 2003 IEEE Int. Conf. on Emerging Technologies and Factory Automation (ETFA'03), Lisbon (Portugal), 16-29 September 2003, pp. 322-329, ISBN 0-7803-7937-3\\ \\ • J. Ezpeleta and R. Valk\\ **A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets** \\ Proceedings of the Multiconference on Computational Engineering in Systems Applications (CESA’2003), Lille (France), 9-11 July 2003.\\ \\ • D. Moldt and J. Ezpeleta\\ **A Proposal for Flexible Testing of Deadlock Control Strategies in Resource Allocation Systems** \\ Proceedings of the International Conference on Computational Intelligence for Modelling Control and Automation (CIMCA'03), Vienna (Austria), 12-14 February 2003\\ \\ • J. Ezpeleta and L. Recalde\\ **A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems** \\ Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, Hammamet (Tunisia), October 6-9, 2002\\ \\ • J. Ezpeleta and F. Tricas and F. García-Vallés and J.M. Colom\\ **A Banker's solution for deadlock avoidance in FMS with flexible routing and multi-resource states** \\ IEEE Transactions on Robotics and Automation, Vol. 18, N. 4, August 2002, pp. 621-625\\ \\ • F.G. Vallés, J.M. Colom, J. Ezpeleta\\ **Comment on "Deadlock avoidance policy for Petri-net modeling of flexible manufacturing systems with shared resources"** \\ IEEE Transactions on Automatic Control, Vol. 45, N. 9, September 2000, pp. 1760-176\\ \\ • J. Ezpeleta\\ **Flexible Manufacturing Systems** \\ Chapter 26 of the book "Petri Nets for System Engineering: A Guide to Modeling, Verification and Applications", ISBN 3-540-41217-4, Springer-Verlag, 2001\\ \\ • F. Tricas, F.G. Vallés, J.M. Colom, J. Ezpeleta\\ **An Iterative Method for Deadlock Prevention in FMS** \\ 5th Workshop on Discrete Event Systems (WODES 2000), Ghent, Belgium, 21-23 August, 2000\\ \\ • F.G. Vallés, F. Tricas, J. Ezpeleta, J.M. Colom\\ **Structurally Safe Net Systems** \\ 5th Workshop on Discrete Event Systems (WODES 2000), Ghent, Belgium, 21-23 August, 2000\\ \\ • F. Tricas and J.M. Colom and J. Ezpeleta\\ **Some Improvements to the Banker's Algorithm based on the process structure** \\ Proceedings of the IEEE International Conference on Robotics and Automation, San Francisco (USA), April 24-28, 2000, pp. 2853-2858\\ \\ • F. Tricas and J.M. Colom and J. Ezpeleta\\ **A solution to the problem of deadlocks in concurrent systems using Petri nets and integer linear programming** \\ 11th European Simulation Symposium and Exhibition Simulation in Industry, Erlangen-Nuremberg (Germany), October 26-28, 1999, pp. 542-546\\ \\ • F. Tricas and J. Ezpeleta\\ **A Petri Net Solution to the Problem of Deadlocks in Systems of Processes with Resources** \\ Conf. on Emerging Technologies and Factory Automation (ETFA) Conf., Barcelona (Spain), October 1999, pp. 1047-1056\\ \\ • J. Ezpeleta and F. García-Vallés and J.M. Colom\\ **A class of well structured Petri nets for Flexible Manufacturing Systems** \\ J. Desel and M. Silva, Springer-Verlag , Lecture Notes on Computer Science, 1420, pp. 64-83, 1998\\ \\ • F. Tricas and F. García-Vallés and J.M. Colom and J. Ezpeleta\\ **A structural approach to the problem of deadlock prevention in processes with resources** \\ IEE International Workshop on Discrete Event Systems. WODES’98, Cagliary (Italy), pp. 273-278, August 1998\\ \\ • F. García-Vallés and F. Tricas and J. Ezpeleta and J.M. Colom\\ **Optimal control of discrete event systems** \\ IEE International Workshop on Discrete Event Systems. WODES’98, Cagliary (Italy), pp. 88-93, August 1998\\ \\ • J. Ezpeleta and J.M. Colom\\ **Automatic Synthesis of Colored Petri Nets for the Control of FMS** \\ IEEE Transactions on Robotics and Automation, 13, 3, pp. 327-337, June 1997\\ \\ • F. Tricas and J. Ezpeleta\\ **A partial approach to the problem of deadlocks in processes with resources** \\ Proceedings of the Workshop on Petri Nets in System Engineering: Modelling, Verification and Validation, \\ B. Farwer, D. Moldt, M.O. Stehr (Eds.), \\ Hamburg (Germany), 25 y 26 de Septiembre de 1997, pp. 135-150, ISBN 3-89586-597-4\\ \\ • J. Ezpeleta and J.M. Colom and J. Martínez\\ **A Petri net based deadlock prevention policy for flexible manufacturing systems** \\ IEEE Transactions on Robotics and Automation, Vol. 11, N. 2, pp. 173-184, April 1995\\ \\ • J. Ezpeleta and J.M. Couvreur and M. Silva\\ **A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets** \\ G. Rozenberg, Springer-Verlag, Advances in Petri Nets 1993, Lecture Notes on Computer Science, Vol. 674, pp. 126-147, 1993\\ \\ • J. Ezpeleta and S. Haddad\\ **A Distributed Algorithm for Resource Management** \\ M. Cosnard and R. Puigjaner, Elsevier B.V. (North-Holland), Decentralized & Distributed Systems (A-39), 1993\\ \\ • J. Ezpeleta and J. Martínez and J.M. Colom\\ **Synthesis of Live High Level Models for a Class of FMS** \\ IEEE Computer Society Press, Procs of the International Conference on Systems, Man and Cybernetics. Systems Engineering in the Service of Humans (IEEE/SMC'93), Le Touquet (France), pp. 589-594, October 1993\\ \\ • P. Muro and J. Ezpeleta and J.L. Villarroel\\ **A Rule-Petri Net Integrated Approach for the Modeling and Analysis of Manufacturing Systems** \\ J.C. Gentina and S.G. Tzafetas (Ed.), North-Holland, Robotics and Flexible Manufacturing Systems, pp. 349-358, 1992\\ \\ • J. Ezpeleta and J. Martínez\\ **Petri Nets as a Specification Language for Manufacturing Systems** \\ J.C. Gentina and S.G. Tzafestas (Ed.), Elsevier Science Publishers B.V.(North Holland), Robotics and Flexible Manufacturing Systems, pp. 427-436, 1992\\ \\ • J. Ezpeleta and J. Martínez\\ **Formal Specification and Validation in Production Plants** \\ Proceedings of the 3th. International Conference on Computer Integrated Manufacturing, Rensselaer Polytechnic Institute, Troy (New York), pp. 64-73, May 1992\\ \\ • P. Muro and J. Ezpeleta and J.L. Villarroel\\ **Knowledge Based Manufacturing Modeling and Analysis by Integrating Petri Nets** \\ IEEE Computer Society Press, IMACS-MCTS Symposium, Lille (France), pp. 660-668, May 1991\\ \\ • J. Ezpeleta and J. Martínez\\ **Petri Nets as a Specification Language for Manufacturing Systems** \\ IMACS World Congress on Computation and Applied Mahematics, Dublin (Ireland), July 1991\\ \\ • J. Ezpeleta and J.M. Couvreur\\ **A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets** \\ Proceedings of the 12th. International Conference on Application and Theory of Petri Nets, Aarhus (Denmark), pp. 145-164, June 1991\\ \\ \\ ==**Spanish conferences and journals**==\\ • S. Hernández, F.J. Fabra, J. Ezpeleta, P. Álvarez\\ **Una solución basada en HTCondor para aprovechar la disponibilidad de recursos efímeros**\\ X Jornadas de Ciencia e Ingeniería de Servicios, Cádiz, 16-19 septiembre 2014, pp. 116-125\\ • S. Hernández, F.J. Fabra, P. Álvarez, J. Ezpeleta\\ **Una solución SOA para ejecutar workflows científicos en entornos Grid heterogéneos**\\ VVIII Jornadas de Ciencia e Ingeniería de Servicios (JCIS'12), Almería, 17-19 de septiembre de 2012, pp. 27-40\\ \\ • E. González López de Murillas, J. Fabra, P. Álvarez, J. Ezpeleta\\ **COMBAS: una herramienta para el análisis de procesos con información semántica**\\ VII Jornadas de Ciencia e Ingeniería De Servicios, pp. 41-54, 2011\\ \\ • J. Fabra, J. Ezpeleta \\ **Aplicación del paradigma de las redes-en-redes en los entornos de procesos de negocio**\\ Jornadas de Ingenieria del Software y Bases De Datos, pp. 33-38, 2010\\ \\ • J. Fabra, P. Álvarez, J. Ezpeleta \\ **Traducción y ejecución de procesos BPEL mediante redes de Petri de alto nivel basadas en la plataforma DENEB**\\ XVIII Jornadas de Concurrencia y Sistemas Distribuidos, 2010\\ \\ • M. J. Ibáñez, P. Álvarez and J. Ezpeleta\\ **Predicción simbólica del comportamiento en ejecución de los procesos de negocio semánticos**\\ Actas de las V Jornadas científico-técnicas en Servicios Web y SOA (JSWEB’09), del 30 de septiembre al 1 de octubre 2009, Madrid, Spain, pp. 183-196\\ \\ • J. Fabra, P. Álvarez, J.A. Bañares, J. Ezpeleta\\ **Integración en DENEB de componentes para la conectividad dinámica de los procesos Web. Aplicación a escenarios de gestión de emergencias basados en Sensor Web**\\ Novática, N. 197, enero-febrero, 2009, pp. 47-52\\ \\ • M. J. Ibáñez, P. Álvarez and J. Ezpeleta\\ **Redes de Petri Unarias Anotadas con RDF: Un formalismo para el Modelado y Análisis de Procesos con Información Semántica**\\ Actas de ls XVII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD'09), Sagunto, Valencia (España), 10-12 de junio de 2009, pp. 21-34\\ \\ • J. Fabra, P. Álvarez, J.A. Bañares, J. Ezpeleta\\ **DENEB: una plataforma para el desarrollo y ejecución de procesos Web**\\ Novática, N. 192, abril, 2008, pp. 51-55\\ \\ • J. Ezpeleta and P. Gascón and N. Porta\\ **COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas**\\ Novática, N. 163, Mayo-Junio 2003, pp. 47-51\\ \\ • J. Ezpeleta and R.Novoa and M.A. Barea\\ **Una herramienta para el estudio de técnicas de análisis sintáctico** \\ Novática, N. 151, Mayo-Junio 2001, pp. 53-5\\ \\ • J. Ezpeleta\\ **Análisis y Síntesis de Modelos Libres de Bloqueo para Sistemas Concurrentes** \\ Tesis doctoral de la universidad de Zaragoza. España, Departamento de Ingeniería Eléctrica e Informática, Universidad de Zaragoza, June 1993\\ \\ • S. Comella and J. Zarazaga and J. Ezpeleta and D. Infante and R. López and P.R. Muro-Medrano\\ **Una visión de las posibilidades del estándar OpenGIS para la interoperabilidad de aplicaciones GIS sobre CORBA** \\ Proceedings del IV Congreso sobre Teconología de Objetos, Bilbao, Universidad de Deusto, pp. 35-40, October 1998\\ \\ • J. Ezpeleta and J.M. Colom and J. Martínez\\ **A Petri net based deadlock prevention policy for flexible manufacturing systems** \\ Actas de las III Jornadas de Concurrencia , Universidad Politécnica de Valencia, pp. 199-230, 1993\\ \\