Seguir
Hermenegilda Macià
Título
Citado por
Citado por
Ano
A Petri net approach for the design and analysis of Web Services Choreographies
ME Cambronero, G Dı, H Macià
The Journal of Logic and Algebraic Programming 78 (5), 359-380, 2009
682009
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
482001
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
362008
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
332020
Introducing the iteration in sPBC
H Maciá, V Valero, D Cazorla, F Cuartero
International Conference on Formal Techniques for Networked and Distributed …, 2004
332004
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
322019
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
312009
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
312009
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), 1-20, 2015
242015
A congruence relation for sPBC
H Macià, V Valero, F Cuartero, D De-Frutos
Formal Methods in System Design 32 (2), 85-128, 2008
242008
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
232016
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
232012
Discrete time stochastic Petri box calculus with immediate multiactions
IV Tarasyuk, H Macia, V Valero
Technical Report, 2010
202010
A bounded true concurrency process algebra for performance evaluation
MC Ruiz, D Cazorla, F Cuartero, JJ Pardo, H Macia
International Conference on Formal Techniques for Networked and Distributed …, 2004
182004
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
162013
Performance analysis of concurrent systems in algebra dtsiPBC
IV Tarasyuk, H Macià, V Valero
Programming and Computer Software 40 (5), 229-249, 2014
132014
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
132011
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
122018
Stochastic process reduction for performance evaluation in dtsiPBC
IV Tarasyuk, H Macià, V Valero
Сибирские электронные математические известия 12 (0), 513-551, 2015
112015
Applying timed-arc Petri nets to improve the performance of the MPEG-2 encoding algorithm
FL Pelayo, F Cuartero, V Valero, H Macia, ML Pelayo
10th International Multimedia Modelling Conference, 2004. Proceedings., 49-56, 2004
112004
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20