Publications
.
1999.
[ZRS-Wod00] A Two Phase Optimisation Strategy for DEDS Application to Manufacturing Systems. :291-298.
.
2000.
.
2001.
[ZRS-JIM-01] A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.
.
2001.
.
2004.
[WPPSIM-WOSP-05] Performance by Unified Model Analysis (PUMA). :1-12.
.
2005.
[1484] Transformation challenges: from software models to performance models. Journal of Software and Systems Modeling. 13(4):26.
.
2014.
.
2012.
.
2012.
[1502] ON/OFF strategy based minimum-time control of continuous Petri nets. Nonlinear Analysis: Hybrid Systems. 12
.
2014.
[1507] On Minimum-time Control of Continuous Petri nets: Centralized and Decentralized Perspectives. Department of Computer Science and Engineering. :173.
.
2013.
[1539] Diagnosis of Time Petri Nets using Fault Diagnosis Graph. IEEE Transactions on Automatic Control. 60(9)
.
2015.
.
1988.
[RP-86-12] Almacenamiento de imágenes en un computador PDP-11/34. :67-76.
.
1986.
[1493] Continuous Petri Nets: Controllability and Control. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:407-428.
.
2013.
[1494] 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.
.
2011.
[1498] Controllability of Timed Continuous Petri Nets with uncontrollable transitions. International Journal of Control. Posted online: 01 Oct 2013
.
2013.
.
2003.
.
2006.
.
2003.
[TricasMartinez95SMC] An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
.
1995.
.
2003.
.
2003.
[RP-95-10] Corrección de programas y Redes de Petri de alto nivel. :184-193.
.
1995.
[RP-95-12] Corrección de programas y redes de Petri de alto nivel. :155-164.
.
1995.