Publications
]
[1547] .
2014. Model Checking on Fault Diagnosis Graph. WODES'2014: 12th IFAC International Workshop on Discrete Event Systems.
[1548] .
2014. From Discrete to Continuous Models: A Perspective on Fluidization of Petri Nets. ECC'2014: European Control Conference.
[1549] .
2014. Deadlock Prevention Policy for S3PR - Application to Robot Planning. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
[1555] .
2015. Collision avoidance of mobile robots by using initial time delays. CDC'2015: 54th IEEE Conference on Decision and Control.
[IPTeFrDe99] .
1999. Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
[03_TFP_IToSE] .
2003. Well-defined generalized stochastic petri nets: a net-level method to specify priorities. Software Engineering, IEEE Transactions on. 29:962-973.
[Tricas03] .
2003. Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems.
[TricasMartinez95SMC] .
1995. An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
[blogtalk] .
2003. Do we live in an Small World? Measuring the Spanish-Speaking Blogosphere
[cost] .
2003. Measuring the Spanish Blogosphere.
[RP-95-10] .
1995. Corrección de programas y Redes de Petri de alto nivel. :184-193.
[RP-95-12] .
1995. Corrección de programas y redes de Petri de alto nivel. :155-164.
[RP-95-15] .
1995. Distributed Systems Simulation using High Level Petri Nets. :227-233.
[RP-95-21] .
1995. An extension of the liveness theory for concurrent sequential processes competing for shared resources. :4119-4124.
[RP-98-02] .
1998. Distributed control systems simulation using high level Petri nets. Mathematics and Computers in Simulation. 46:47-55.
[Urc06] .
2006. Algoritmos de compresión para secuencias biológicas y su aplicación en árboles filogénicos construidos a partir de ADN mitocondrial.
[GUGC-SEIO03] .
2003. Desarrollo de una herramienta de optimización binivel utilizando CPLEX y MATLAB y generación de problemas de prueba. :2931-2944.
[RP-86-12] .
1986. Almacenamiento de imágenes en un computador PDP-11/34. :67-76.
[RP-88-04] .
1988. Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :528-531.
[1507] .
2013. On Minimum-time Control of Continuous Petri nets: Centralized and Decentralized Perspectives. Department of Computer Science and Engineering. :173.
[WPPSIM-WOSP-05] .
2005. Performance by Unified Model Analysis (PUMA). :1-12.
[ZRS-ECC99] .
1999. Modelling and Optimization of Manufacturing Systems Petri Nets and Simulated Annealing.
[ZRS-Wod00] .
2000. A Two Phase Optimisation Strategy for DEDS Application to Manufacturing Systems. :291-298.
