Publications
]
[1079] .
1997. Automatic Synthesis of Colored Petri Nets for the Control of FMS. IEEE Transactions on Robotics and Automation. 13(3):327-337.
[1278] .
2010. An Automated Framework for Formal Verification of Timed Continuous Petri Nets. IEEE Transactions on Industrial Informatics. 6(3):471.
[RP-80-09] .
1980. Autómata programable multicomputador. Valoración de su capacidad de tratamiento. :609-630.
[1550] .
2014. An Assembly Problem with Mobile Robots. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
[GMM06] .
2006. ArgoSPE: Model-based software performance engineering. 4024:401-410.
[RP-92-10] .
1992. An aproximation method for the performance analysis of manufacturing systems based on GSPNs. :46-55.
[RP-87-03] .
1987. Aproximación a los robots inteligentes. :265-279.
[PJCS-TSCM07] .
2007. Approximate Throughput Computation of Stochastic Weighted T-Systems. IEEE Transactions on Systems, Man, and Cybernetics. Part A: Systems and Humans. 37:431-444.
[PJCS-RR69-2005] .
2005. Approximate Throughput Computation of Stochastic Weighted T-Systems.
[239] .
1995. Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
[247] .
1994. Approximate Throughput Computation of Stochastic Marked Graphs. IEEE Transactions on Software Engineering. 20(7):526-535.
[RP-92-13] .
1992. Approximate throughput computation of stochastic marked graphs. Journal of Parallel and distributed computing. 15:282-295.
[PJCS-96b] .
1996. Approximate Throughput Computation of a Class of Cooperating Sequential Processes. :382-389.
[1279] .
2010. Approaching Minimum Time Control of Timed Continuous Petri nets. Nonlinear Analysis: Hybrid Systems.
[1469] .
2013. Application and Theory of Petri Nets and Concurrency. 34th International Conference, PETRI NETS 2013. 7927
[1328] .
2001. Application and Theory of Petri Nets 2001. Lecture Notes in Computer Science. 2075
[1423] .
2011. Aplicaciones de la Dimensión Efectiva a la Complejidad Computacional y a los Algoritmos de Compresión de Datos. PhD
[BBBCC-QMIPS-94] .
1994. Annotated Bibliography on Stochastic Petri Nets. 105:25-44.
[1522] .
2014. Analyzing Phylogenetic Treeswith Timed and Probabilistic Model Checking: The Lactose Persistance Case Study. Journal of Integrative Bioinformatics. 11(3)
[1058] .
1993. Analysis Tools Applied to VHDL. Microprocessing and Microprogramming. The EUROMICRO Journal. 38(1):597-604.
[PMM-ICPE12] .
2012. Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
[360] .
1994. Analysis of Autonomous Petri Nets with Bulk Services and Arrivals. 11th Int. Conf. on Analysis and Optimization of Systems. Discrete Event Systems. 199:131-143.
[1443] .
2011. Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
[MCM-WINET03] .
2003. Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
[1348] .
1989. Análisis structural de redes de Petri, programación lineal y geometría convexa. Departamento de Ingeniería Eléctrica e Informática. Tesis Doctoral
