Publications
[ICSilv87] Towards a Synchrony Theory for P/T Nets. Concurrency and Nets. :435-460.
.
1987.
[RP-87-04] Towards a Synchrony Theory for P/T Nets. :435-460.
.
1987.
[1521] Towards Petri net-based Economical Analysis for Streaming Applications executed over Cloud infrastructures. 11th International Conference on Economics of Grids, Clouds, Systems, and Services (GECON 2014).
.
2014.
.
2006.
[RP-80-08] Traducción de expresiones lógicas: aplicación en autómatas programables y en la enseñanza. :664-670.
.
1980.
[1484] Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
.
2014.
[PCFB-LAT-13] Tuning Mechanism for IEEE 802.11e EDCA Optimization. IEEE Latin America Transactions. 11(4):1134-1142.
.
2013.
[LutMayTPRBM] Twelve problems in resource bounded measure. :83-101.
.
2001.
[LutMayTPRBMb] Twelve problems in resource bounded measure. Bulletin of the European Association for Theoretical Computer Science. 68:64-80.
.
1999.
[RZS-04] Two Heuristics for the Improvement of a Two-Phase Optimization Method for Manufacturing Systems. :1686-1692.
.
2004.
[Mayo06] Two open problems on effective dimension. 3988:353–359.
.
2006.
[ZRS-JIM-01] A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.
.
2001.
.
2000.
.
2008.
[BM-WOSP-07] A UML Profile for Dependability Analysis of Real-Time Embedded Systems. :115-124.
.
2007.
[BBCM-09] UML Profiles for Non-functional Properties at Work: Analyzing Reliability, Availability and Performance. 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages (NFPinDSML2009). 553
.
2009.
[RP-83-07] Un plan de prácticas de sistemas de control muestreados. :279-295.
.
1983.
[RP-80-06] Un plan de prácticas. Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.. :117-134.
.
1980.
[RMBP-98] Una Herramienta de Generación Automática de Software. :157-169.
.
1998.
[EzNB-01] Una herramienta para el estudio de técnicas de de análisis sintáctico. :53-56.
.
2001.
[CZEI-98] Una visión de las posibilidades del estándar OpenGIS para la interoperabilidad de aplicaciones GIS sobre CORBA. :35-40.
.
1998.
[IPSiRe03b] Unforced Continuous Petri Nets and Positive Systems. Lecture Notes in Control and Information Sciences.
.
2003.
[1337] Using Linear Programming and the Petri Net Structure for Deadlock Prevention in Sequential Resource Allocation Systems. Actas de las XIII Jornadas de Concurrencia y Sistemas Distribuidos (JCSD’2005). :65-77.
.
2005.
[1520] Using the incidence matrix in an evolutionary algorithm for Computing minimal siphons in Petri net models. 18th International Conference on System Theory, Control and Computing (ICSTCC 2014).
.
2014.
[1336] Verificación de propiedades en Redes de Petri. Sistemas Distribuidos: Modelos y Aplicaciones. :99-114.
.
2001.