Publications
]
[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.
[ZRS-EKA2001] .
2001. Ein effizientes Optimierungsverfahren für Petri Netz Modelle von Fertigungssystemen.
[ZRS-JIM-01] .
2001. A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.
[RZS-04] .
2004. Two Heuristics for the Improvement of a Two-Phase Optimization Method for Manufacturing Systems. :1686-1692.
[WPPSIM-WOSP-05] .
2005. Performance by Unified Model Analysis (PUMA). :1-12.
[1484] .
2014. Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
[1502] .
2014. ON/OFF strategy based minimum-time control of continuous Petri nets. Nonlinear Analysis: Hybrid Systems. 12
[1507] .
2013. On Minimum-time Control of Continuous Petri nets: Centralized and Decentralized Perspectives. Department of Computer Science and Engineering. :173.
[1539] .
2015. Diagnosis of Time Petri Nets using Fault Diagnosis Graph. IEEE Transactions on Automatic Control. 60(9)
[RP-88-04] .
1988. Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :528-531.
[RP-86-12] .
1986. Almacenamiento de imágenes en un computador PDP-11/34. :67-76.
[1493] .
2013. Continuous Petri Nets: Controllability and Control. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:407-428.
[1494] .
2011. Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans. 42(4):641-653.
[1498] .
2013. Controllability of Timed Continuous Petri Nets with uncontrollable transitions. International Journal of Control. Posted online: 01 Oct 2013
[GUGC-SEIO03] .
2003. Desarrollo de una herramienta de optimización binivel utilizando CPLEX y MATLAB y generación de problemas de prueba. :2931-2944.
[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.
