| A Petri net approach for the design and analysis of Web Services Choreographies V Valero, ME Cambronero, G Díaz, H Macià The Journal of Logic and Algebraic Programming 78 (5), 359-380, 2009 | 70 | 2009 |
| An Intelligent Transportation System to control air pollution and road traffic in cities integrating CEP and Colored Petri Nets G Díaz, H Macià, V Valero, J Boubeta-Puig, F Cuartero Neural Computing and Applications 32 (2), 405-426, 2020 | 57 | 2020 |
| sPBC: a Markovian extension of finite Petri box calculus H Macia, V Valero, D de Frutos-Escrig Proceedings 9th International Workshop on Petri Nets and Performance Models …, 2001 | 49 | 2001 |
| MEdit4CEP-CPN: An approach for complex event processing modeling by prioritized colored Petri nets J Boubeta-Puig, G Díaz, H Macià, V Valero, G Ortiz Information systems 81, 267-289, 2019 | 46 | 2019 |
| Modeling the ascorbate-glutathione cycle in chloroplasts under light/dark conditions E Valero, H Macià, IM De la Fuente, JA Hernández, MI González-Sánchez, ... BMC systems biology 10, 1-20, 2015 | 39 | 2015 |
| sPBC: a Markovian extension of Petri box calculus with immediate multiactions H Macia, V Valero, F Cuartero, MC Ruiz Fundamenta Informaticae 87 (3-4), 367-406, 2008 | 38 | 2008 |
| Computer simulation of the dynamic behavior of the glutathione-ascorbate redox cycle in chloroplasts E Valero, MI González-Sánchez, H Maciá, F García-Carmona Plant physiology 149 (4), 1958-1969, 2009 | 35 | 2009 |
| Introducing the iteration in sPBC H Maciá, V Valero, D Cazorla, F Cuartero Formal Techniques for Networked and Distributed Systems–FORTE 2004: 24th …, 2004 | 34 | 2004 |
| Improving performance in flexible manufacturing systems MC Ruiz, D Cazorla, F Cuartero, H Macia The Journal of Logic and Algebraic Programming 78 (4), 260-273, 2009 | 33 | 2009 |
| Complex event processing modeling by prioritized colored Petri nets H Macia, V Valero, G Díaz, J Boubeta-Puig, G Ortiz IEEE Access 4, 7425-7439, 2016 | 32 | 2016 |
| Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets V Valero, H Macià, JJ Pardo, ME Cambronero, G Díaz Science of Computer Programming 77 (3), 290-313, 2012 | 25 | 2012 |
| A congruence relation for sPBC H Macià, V Valero, F Cuartero, D De-Frutos Formal Methods in System Design 32, 85-128, 2008 | 25 | 2008 |
| Discrete time stochastic Petri box calculus with immediate multiactions IV Tarasyuk, H Macia, V Valero Pre-proceedings of 6th International Workshop on Practical Applications of …, 2010 | 24 | 2010 |
| Modeling and analysis of the 1-wire communication protocol using timed colored petri nets ME Cambronero, H Macia, V Valero, L Orozco-Barbosa IEEE Access 6, 27356-27372, 2018 | 21 | 2018 |
| Discrete time stochastic Petri box calculus with immediate multiactions dtsiPBC IV Tarasyuk, H Macia, V Valero Electronic Notes in Theoretical Computer Science 296, 229-252, 2013 | 19 | 2013 |
| A bounded true concurrency process algebra for performance evaluation MC Ruiz, D Cazorla, F Cuartero, JJ Pardo, H Macia Applying Formal Methods: Testing, Performance, and M/E-Commerce: FORTE 2004 …, 2004 | 17 | 2004 |
| Performance analysis of concurrent systems in algebra dtsiPBC IV Tarasyuk, H Macià, V Valero Programming and Computer Software 40, 229-249, 2014 | 15 | 2014 |
| Catalase-like activity of human methemoglobin: A kinetic and mechanistic study MI González-Sánchez, F García-Carmona, H Macià, E Valero Archives of biochemistry and biophysics 516 (1), 10-20, 2011 | 14 | 2011 |
| Stochastic process reduction for performance evaluation in dtsiPBC IV Tarasyuk, H Macià, V Valero Сибирские электронные математические известия 12 (0), 513-551, 2015 | 12 | 2015 |
| A compositional approach for complex event pattern modeling and transformation to colored Petri nets with black sequencing transitions V Valero, G Díaz, J Boubeta-Puig, H Macià, E Brazález IEEE transactions on software engineering 48 (7), 2584-2605, 2021 | 11 | 2021 |
Valentin ValeroFull Professor, University of Castilla-La ManchaEmail confirmado em uclm.es
