A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets. - Joaquin Ezpeleta; Jean-Michel Couvreur; Manuel Silva Suárez (Applications and Theory of Petri Nets, 1991)

Synthesis of Live Models for a Class of FMS Systems. - Joaquin Ezpeleta; Javier Martínez (ICRA (3), 1993)

A Distributed Algorithm for Resource Management. - Joaquin Ezpeleta; Serge Haddad (Decentralized and Distributed Systems, 1993)

A Petri net based deadlock prevention policy for flexible manufacturing systems. - Joaquín Ezpeleta; José Manuel Colom; Javier Martínez (IEEE Trans. Robotics Autom., 1995)

Automatic synthesis of colored Petri nets for the control of FMS. - Joaquín Ezpeleta; José Manuel Colom (IEEE Trans. Robotics Autom., 1997)

A Class of Well Structured Petri Nets for Flexible Manufacturing Systems. - Joaquin Ezpeleta; Fernando García-Vallés; José Manuel Colom (ICATPN, 1998)

Some Improvements to the Banker s Algorithm Based on the Process Structure. - Fernando Tricas; José Manuel Colom; Joaquin Ezpeleta (ICRA, 2000)

Comments on "Deadlock avoidance policy for Petri net modeling of flexible manufacturing systems with shared resources. - Fernando García-Vallés; José Manuel Colom; Joaquín Ezpeleta (IEEE Trans. Autom. Control., 2000)

A Banker's solution for deadlock avoidance in FMS with flexible routing and multiresource states. - Joaquin Ezpeleta; Fernando Tricas; Fernando García-Vallés; José Manuel Colom (IEEE Trans. Robotics Autom., 2002)

Petri Nets and Manufacturing Systems: An Examples-Driven Tour. - Laura Recalde; Manuel Silva Suárez; Joaquin Ezpeleta; Enrique Teruel (Lectures on Concurrency and Petri Nets, 2003)

Some results on siphon computation for deadlock prevention in resource allocation systems modeled with Petri nets. - Fernando Tricas; Joaquín Ezpeleta (ETFA (1), 2003)

A deadlock avoidance approach for nonsequential resource allocation systems. - Joaquin Ezpeleta; Laura Recalde (IEEE Trans. Syst. Man Cybern. Part A, 2004)

A Petri Net Structure- Based Deadlock Prevention Solution for Sequential Resource Allocation Systems. - Fernando Tricas; Fernando García-Vallés; José Manuel Colom; Joaquin Ezpeleta (ICRA, 2005)

Approaching Web Service Coordination and Composition by Means of Petri Nets. The Case of the Nets-Within-Nets Paradigm. - Pedro Álvarez 001; José A. Bañares; Joaquin Ezpeleta (ICSOC, 2005)

A Framework for the Development and Execution of Horizontal Protocols in Open BPM Systems. - Javier Fabra; Pedro Álvarez 001; José A. Bañares; Joaquin Ezpeleta (Business Process Management, 2006)

RLinda: A Petri Net Based Implementation of the Linda Coordination Paradigm for Web Services Interactions. - Javier Fabra; Pedro Álvarez 001; José A. Bañares; Joaquin Ezpeleta (EC-Web, 2006)

A Polynomial Deadlock Avoidance Method for a Class of Nonsequential Resource Allocation Systems. - Joaquin Ezpeleta; Rüdiger Valk (IEEE Trans. Syst. Man Cybern. Part A, 2006)

Computing minimal siphons in Petri net models of resource allocation systems: a parallel solution. - Fernando Tricas; Joaquin Ezpeleta (IEEE Trans. Syst. Man Cybern. Part A, 2006)

DRLinda: A Distributed Message Broker for Collaborative Interactions Among Business Processes. - Javier Fabra; Pedro Álvarez 001; Joaquin Ezpeleta (EC-Web, 2007)

Vega: A Service-Oriented Grid Workflow Management System. - Rafael Tolosana-Calasanz; José A. Bañares; Pedro Álvarez 001; Joaquin Ezpeleta (OTM Conferences (2), 2007)

Runtime Protocol Binding: Flexible Service Integration by Means of Flexible Service Interactions. - Javier Fabra; Pedro Álvarez 001; José A. Bañares; Joaquin Ezpeleta (IEEE SCC (1), 2008)

Flow and Data Compatibility for the Correct Interaction between Web Processes. - María José Ibáñez; Pedro Álvarez 001; Joaquin Ezpeleta (CIMCA/IAWTIC/ISE, 2008)

Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes. - María José Ibáñez; Pedro Álvarez 001; Joaquin Ezpeleta (ECOWS, 2008)

Enabling the Evolution of Service-Oriented Solutions Using an UML2 Profile and a Reference Petri Nets Execution Platform. - Javier Fabra; Joaquín Peña; Antonio Ruiz Cortés; Joaquin Ezpeleta (ICIW, 2008)

On Interlinking of Grids: A Proposal for Improving the Flexibility of Grid Service Interactions. - Rafael Tolosana-Calasanz; José A. Bañares; Pedro Álvarez 001; Joaquin Ezpeleta (ICIW, 2008)

Exception handling patterns for hierarchical scientific workflows. - Rafael Tolosana-Calasanz; José A. Bañares; Pedro Álvarez 001; Joaquin Ezpeleta; Omer F. Rana (MGC, 2008)

Time Orientation Device for Special Education. - José M. Falcó; Álvaro Marco; Ángel Asensio; Rubén Blasco Marín; Roberto Casas; Joaquin Ezpeleta (WSKS (1), 2008)

Unary RDF-annotated petri nets: a formalism for the modeling and validation of business processes with semantic information. - María José Ibáñez; Pedro Álvarez 001; Sami Bhiri; Joaquin Ezpeleta (SBPM@ESWC, 2009)

RDF Model Checking: A Technique to Verify Behavioral Properties in Semantically Annotated Business Processes. - María José Ibáñez; Pedro Álvarez 001; Joaquin Ezpeleta (ICSC, 2009)

Symbolic Analysis of the Behavior of Semantic Business Processes. - María José Ibáñez; Pedro Álvarez 001; Joaquin Ezpeleta (SWWS, 2009)

Discovery of Business Processes based on Behavioral Descriptions. - María José Ibáñez; Joaquin Ezpeleta; Sami Bhiri (SWWS, 2009)

Semantically enabled business process discovery. - María José Ibáñez; Gabriela Vulcu; Joaquin Ezpeleta; Sami Bhiri (SAC, 2010)

Adaptive exception handling for scientific workflows. - Rafael Tolosana-Calasanz; José A. Bañares; Omer F. Rana; Pedro Álvarez 001; Joaquin Ezpeleta; Andreas Hoheisel (Concurr. Comput. Pract. Exp., 2010)

An uncoordinated asynchronous checkpointing model for hierarchical scientific workflows. - Rafael Tolosana-Calasanz; José Ángel Bañares; Pedro Álvarez 001; Joaquín Ezpeleta; Omer F. Rana (J. Comput. Syst. Sci., 2010)

DENEB: a platform for the development and execution of interoperable dynamic Web processes. - Javier Fabra; Pedro Álvarez 001; José A. Bañares; Joaquin Ezpeleta (Concurr. Comput. Pract. Exp., 2011)

Control and data flow compatibility in the interaction between dynamic business processes. - María José Ibáñez; Pedro Álvarez 001; José Ángel Bañares; Joaquín Ezpeleta (Concurr. Comput. Pract. Exp., 2011)

Analyzing behavioral properties of semantic business processes with parametric data. - María José Ibáñez; Pedro Álvarez 001; Joaquín Ezpeleta (Concurr. Comput. Pract. Exp., 2011)

A Simulation-based Scheduling Strategy for Scientific Workflows. - Sergio Hernández; Javier Fabra; Pedro Álvarez 001; Joaquín Ezpeleta (SIMULTECH, 2012)

Simulation and Realistic Workloads to Support the Meta-scheduling of Scientific Workflows. - Sergio Hernández; Javier Fabra; Pedro Álvarez 001; Joaquín Ezpeleta (SIMULTECH (Selected Papers), 2012)

Model Checking Analysis of Semantically Annotated Business Processes. - María José Ibáñez; Javier Fabra; Pedro Álvarez 001; Joaquín Ezpeleta (IEEE Trans. Syst. Man Cybern. Part A, 2012)

A Reliable and Scalable Service Bus Based on Amazon SQS. - Sergio Hernández; Javier Fabra; Pedro Álvarez 001; Joaquín Ezpeleta (ESOCC, 2013)

Cost Evaluation of Migrating a Computation Intensive Problem from Clusters to Cloud. - Sergio Hernández; Javier Fabra; Pedro Álvarez 001; Joaquín Ezpeleta (GECON, 2013)

Track Report of Capacity Driven Processes and Services for Cyber Physical Society (CPS 2014). - Mahmoud Barhamgi; Walid Gaaloul; Joaquin Ezpeleta; ZhangBing Zhou (WETICE, 2014)

Solving the Interoperability Problem by Means of a Bus - An Experience on the Integration of Grid, Cluster and Cloud Infrastructures. - Javier Fabra; Sergio Hernández; Joaquín Ezpeleta; Pedro Álvarez 001 (J. Grid Comput., 2014)

Assessing Process Discovery Scalability in Data Intensive Environments. - Sergio Hernández; Joaquin Ezpeleta; Sebastiaan J. van Zelst; Wil M. P. van der Aalst (BDC, 2015)

Handling Big(ger) Logs: Connecting ProM 6 to Apache Hadoop. - Sergio Hernández; Sebastiaan J. van Zelst; Joaquín Ezpeleta; Wil M. P. van der Aalst (BPM (Demos), 2015)

Cost Estimation for the Provisioning of Computing Resources to Execute Bag-of-Tasks Applications in the Amazon Cloud. - Pedro Álvarez 001; Sergio Hernández; Javier Fabra; Joaquín Ezpeleta (GECON, 2015)

CPS 2015 Track Report: Cyber Physical Society. - Walid Gaaloul; Joaquin Ezpeleta; ZhangBing Zhou; Mahmoud Barhamgi (WETICE, 2015)

A History-Based Model for Provisioning EC2 Spot Instances with Cost Constraints. - Javier Fabra; Sergio Hernández; Pedro Álvarez 001; Joaquín Ezpeleta; Álvaro Recuenco; Ana Martínez (GECON, 2016)

Alignment of teacher's plan and students' use of LMS resources. Analysis of Moodle logs. - Pedro Álvarez 001; Javier Fabra; Sergio Hernández; Joaquín Ezpeleta (ITHET, 2016)

Using Model Checking to Identify Customers Purchasing Behaviour in an E-Commerce. - Sergio Hernández; Pedro Álvarez 001; Javier Fabra; Joaquín Ezpeleta (ATAED@Petri Nets/ACSD, 2017)

A Linear Temporal Logic Model Checking Method over Finite Words with Correlated Transition Attributes. - Jean-Michel Couvreur; Joaquin Ezpeleta (SIMPDA, 2017)

Analysis of Users' Behavior in Structured e-Commerce Websites. - Sergio Hernández; Pedro Álvarez 001; Javier Fabra; Joaquin Ezpeleta (IEEE Access, 2017)

Designing robust watermark barcodes for multiplex long-read sequencing. - Joaquín Ezpeleta; Flavia J. Krsticevic; Pilar Bulacio; Elizabeth Tapia (Bioinform., 2017)

Parallel computation of the reachability graph of petri net models with semantic information. - Eduardo González López de Murillas; Javier Fabra; Pedro Álvarez 001; Joaquín Ezpeleta (Softw. Pract. Exp., 2017)

On the Use of Log-Based Model Checking, Clustering and Machine Learning for Process Behavior Prediction. - Joaquin Ezpeleta; Javier Fabra; Pedro Álvarez 001 (SNAMS, 2018)

Behavioral Analysis of Scientific Workflows With Semantic Information. - Javier Fabra; María José Ibáñez; Pedro Álvarez 001; Joaquin Ezpeleta (IEEE Access, 2018)

Cost-driven provisioning and execution of a computing-intensive service on the Amazon EC2. - Pedro Álvarez 001; Sergio Hernández; Javier Fabra; Joaquín Ezpeleta (Comput. J., 2018)

Exposing Abstraction-Level Interactions with a Parallel Ray Tracer. - Alejandro Valero; Darío Suárez Gracia; Ruben Gran Tejero; Luis M. Ramos; Agustín Navarro-Torres; Adolfo Muñoz 001; Joaquín Ezpeleta; José Luis Briz; Ana C. Murillo; Eduardo Montijano; Javier Resano; María Villarroya-Gaudó; et al. (WCAE@ISCA, 2019)

Reducing the price of resource provisioning using EC2 spot instances with prediction models. - Javier Fabra; Joaquín Ezpeleta; Pedro Álvarez 001 (Future Gener. Comput. Syst., 2019)

Log-Based Session Profiling and Online Behavioral Prediction in E-Commerce Websites. - Javier Fabra; Pedro Álvarez 001; Joaquín Ezpeleta (IEEE Access, 2020)

A learning experience toward the understanding of abstraction-level interactions in parallel applications. - Alejandro Valero; Ruben Gran Tejero; Darío Suárez Gracia; Emanuel A. Georgescu; Joaquín Ezpeleta; Pedro Álvarez 001; Adolfo Muñoz 001; Luis M. Ramos; Pablo Ibáñez 001 (J. Parallel Distributed Comput., 2021)

Multi-robot Motion Planning based on Nets-within-Nets Modeling and Simulation. - Sofia Hustiu; Eva Robillard; Joaquin Ezpeleta; Cristian Mahulea; Marius Kloetzer (CoRR, 2023)

A biobjective model for resource provisioning in multi-cloud environments with capacity constraints. - Luce Brotcorne; Joaquín Ezpeleta; Carmen Galé (Oper. Res., 2023)