sPBC: A Markovian Extension of Finite Petri box calculus. - Hermenegilda Macià; Valentín Valero; David de Frutos-Escrig (PNPM, 2001)

A New Synchronization in Finite Stochastic Petri Box Calculus. - Hermenegilda Macià; Valentín Valero Ruiz; Fernando Cuartero; Fernando L. Pelayo (ACSD, 2003)

Introducing the Iteration in sPBC. - Hermenegilda Macià; Valentín Valero Ruiz; Diego Cazorla; Fernando Cuartero (FORTE, 2004)

A Bounded True Concurrency Process Algebra for Performance Evaluation. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Juan José Pardo; Hermenegilda Macià (FORTE Workshops, 2004)

Applying Timed-Arc Petri Nets to improve the performance of the MPEG-2 Encoding Algorithm. - Fernando L. Pelayo; Fernando Cuartero; Valentín Valero Ruiz; Hermenegilda Macià; Maria L. Pelayo (MMM, 2004)

A congruence relation for sPBC. - Hermenegilda Macià; Valentín Valero Ruiz; Fernando Cuartero; David de Frutos-Escrig (Formal Methods Syst. Des., 2008)

sPBC: A Markovian Extension of Petri Box Calculus with Immediate Multiactions. - Hermenegilda Macià; Valentín Valero; Fernando Cuartero; M. Carmen Ruiz (Fundam. Informaticae, 2008)

Improving performance in flexible manufacturing systems. - M. Carmen Ruiz; Diego Cazorla; Fernando Cuartero; Hermenegilda Macià (J. Log. Algebraic Methods Program., 2009)

A Petri net approach for the design and analysis of Web Services Choreographies. - Valentín Valero; María-Emilia Cambronero; Gregorio Díaz 001; Hermenegilda Macià (J. Log. Algebraic Methods Program., 2009)

A barred operational semantics for a subset of WS-CDL with time restrictions. - Valentín Valero; Gregorio Díaz 001; María-Emilia Cambronero; Hermenegilda Macià (J. Log. Algebraic Methods Program., 2009)

Applying Petri Nets for the Analysis of the GSH-ASC Cycle in Chloroplasts. - Hermenegilda Macià; María-Isabel González-Sánchez; Valentín Valero Ruiz; Edelmira Valero (ACSD/Petri Nets Workshops, 2010)

Discrete Time Stochastic Petri Box Calculus with Immediate Multiactions dtsiPBC. - Igor V. Tarasyuk; Hermenegilda Macià; Valentín Valero Ruiz (PASM/PDMC, 2012)

Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. - Valentín Valero Ruiz; Hermenegilda Macià; Juan José Pardo; María-Emilia Cambronero; Gregorio Díaz 001 (Sci. Comput. Program., 2012)

Formal Study of a Novel Network Role-based Routing Intelligent Algorithm. - José Antonio Mateo; Hermenegilda Macià; M. Carmen Ruiz; Juan José Pardo; A. M. Ortiz (ICCS, 2013)

A Coloured Petri Net Approach to Model and Analyse Stateful Workflows Based on WS-BPEL and WSRF. - José Antonio Mateo; Valentín Valero Ruiz; Hermenegilda Macià; Gregorio Díaz 001 (SEFM Workshops, 2014)

Formal Study of Routing Protocols for Wireless Sensor Networks. - José Antonio Mateo; M. Carmen Ruiz; Hermenegilda Macià; Juan José Pardo (J. Univers. Comput. Sci., 2014)

Performance analysis of concurrent systems in algebra dtsiPBC. - Igor V. Tarasyuk; Hermenegilda Macià; Valentín Valero Ruiz (Program. Comput. Softw., 2014)

Colored Petri Net Modeling of the Publish/Subscribe Paradigm in the Context of Web Services Resources. - Valentín Valero; Hermenegilda Macià; Gregorio Díaz 001; María-Emilia Cambronero (FMICS, 2015)

Model-checking verification of publish-subscribe architectures in web service contexts. - Gregorio Díaz 001; María-Emilia Cambronero; Hermenegilda Macià; Valentín Valero Ruiz (SAC, 2015)

Petri nets-based model for the analysis of NORIA protocol. - Hermenegilda Macià; M. Carmen Ruiz; José Antonio Mateo; Javier L. Calleja (Concurr. Comput. Pract. Exp., 2015)

Probabilistic Model Checking: One Step Forward in Wireless Sensor Networks Simulation. - José Antonio Mateo; Hermenegilda Macià; M. Carmen Ruiz; Javier L. Calleja; Fernando Royo (Int. J. Distributed Sens. Networks, 2015)

Formal Analysis of an Energy-aware Collision Resolution Protocol for Wireless Sensor Networks. - M. Carmen Ruiz; Hermenegilda Macià; José Antonio Mateo; Francisco Javier Calleja (ICCS, 2016)

Complex Event Processing Modeling by Prioritized Colored Petri Nets. - Hermenegilda Macià; Valentín Valero; Gregorio Díaz 001; Juan Boubeta-Puig; Guadalupe Ortiz 001 (IEEE Access, 2016)

Modeling the ascorbate-glutathione cycle in chloroplasts under light/dark conditions. - Edelmira Valero; Hermenegilda Macià; Ildefonso Martinez de la Fuente; José-Antonio Hernández; María-Isabel González-Sánchez; Francisco García-Carmona (BMC Syst. Biol., 2016)

Intelligent Transportation System to Control Air Pollution in Cities Using Complex Event Processing and Colored Petri Nets. - Gregorio Díaz 001; Hermenegilda Macià; Valentín Valero; Fernando Cuartero (IWANN (2), 2017)

Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. - Igor V. Tarasyuk; Hermenegilda Macià; Valentín Valero Ruiz (CoRR, 2017)

Modeling and Analysis of the 1-Wire Communication Protocol Using Timed Colored Petri Nets. - María-Emilia Cambronero; Hermenegilda Macià; Valentín Valero Ruiz; Luis Orozco-Barbosa (IEEE Access, 2018)

Combining Fuzzy Logic and CEP Technology to Improve Air Quality in Cities. - Hermenegilda Macià; Gregorio Díaz 001; Juan Boubeta-Puig; Edelmira Valero; Valentín Valero (ICCS (5), 2019)

An Intelligent System Integrating CEP and Colored Petri Nets for Helping in Decision Making About Pollution Scenarios. - Gregorio Díaz 001; Enrique Brazález; Hermenegilda Macià; Juan Boubeta-Puig; Valentín Valero (IWANN (1), 2019)

New Proposals to Improve a MAC Layer Protocol in Wireless Sensor Networks. - M. Carmen Ruiz; Hermenegilda Macià; Javier L. Calleja (Informatica, 2019)

MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored petri nets. - Juan Boubeta-Puig; Gregorio Díaz 001; Hermenegilda Macià; Valentín Valero; Guadalupe Ortiz 001 (Inf. Syst., 2019)

Facilitating the Quantitative Analysis of Complex Events through a Computational Intelligence Model-Driven Tool. - Gregorio Díaz 001; Hermenegilda Macià; Valentín Valero; Juan Boubeta-Puig; Guadalupe Ortiz 001 (Sci. Program., 2019)

An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets. - Gregorio Díaz 001; Hermenegilda Macià; Valentín Valero; Juan Boubeta-Puig; Fernando Cuartero (Neural Comput. Appl., 2020)

greenITS: a proposal to compute low-pollution routes. - Hermenegilda Macià; Gregorio Díaz 001; Valentín Valero; Edelmira Valero; Enrique Brazález; Juan Boubeta-Puig (FNC/MobiSPC/SEIT, 2022)

FUME: An air quality decision support system for cities based on CEP technology and fuzzy logic. - Enrique Brazález; Hermenegilda Macià; Gregorio Díaz 001; María-Teresa Baeza-Romero; Edelmira Valero; Valentín Valero (Appl. Soft Comput., 2022)

PITS: An Intelligent Transportation System in pandemic times. - Enrique Brazález; Hermenegilda Macià; Gregorio Díaz 001; Valentín Valero; Juan Boubeta-Puig (Eng. Appl. Artif. Intell., 2022)

A Compositional Approach for Complex Event Pattern Modeling and Transformation to Colored Petri Nets with Black Sequencing Transitions. - Valentín Valero; Gregorio Díaz 001; Juan Boubeta-Puig; Hermenegilda Macià; Enrique Brazález (IEEE Trans. Software Eng., 2022)

An Intelligent Transportation System for Tsunamis Combining CEP, CPN and Fuzzy Logic. - Gregorio Díaz 001; Hermenegilda Macià; Enrique Brazález; Juan Boubeta-Puig; M. Carmen Ruiz; Valentín Valero (ICCS (1), 2023)

Designing a Fault Detection System for Wind Turbine Control Monitoring Using CEP. - Enrique Brazález; Gregorio Díaz 001; Hermenegilda Macià; Valentín Valero (IWANN (2), 2023)

Influence of personality and modality on peer assessment evaluation perceptions using Machine Learning techniques. - Cristina Cachero; Juan Ramón Rico-Juan; Hermenegilda Macià (Expert Syst. Appl., 2023)

ITS4Tsunamis: An Intelligent Transportation System for tsunami emergencies. - Gregorio Díaz 001; Hermenegilda Macià; Enrique Brazález; Juan Boubeta-Puig; M. Carmen Ruiz; Valentín Valero (J. Comput. Sci., 2024)

Study regarding the influence of a student's personality and an LMS usage profile on learning performance using machine learning techniques. - Juan Ramón Rico-Juan; Cristina Cachero; Hermenegilda Macià (Appl. Intell., 2024)