Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
[1288] Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science. 21(2):235-256.
.
2010.
[1497] A Control Method for Distributed Continuous Mono-T-Semiflow Petri nets. International Journal of Control. 87(2)
.
2014.
[1498] Controllability of Timed Continuous Petri Nets with uncontrollable transitions. International Journal of Control. Posted online: 01 Oct 2013
.
2013.
[ARJuReSi06] Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets. IEEE Trans. on Automatic Control. 51:1472-1481.
.
2006.
[1539] Diagnosis of Time Petri Nets using Fault Diagnosis Graph. IEEE Transactions on Automatic Control. 60(9)
.
2015.
[RP-86-01] Diseño de un sistema didáctico de programación y control. :97-108.
.
1986.
[CS-PE-93] Embedded Product Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. Performance Evaluation. 18:3-19.
.
1993.
[CCS-TSE-91] Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. IEEE Transactions on Software Engineering. 17:117-125.
.
1991.
[1452] Fault Diagnosis of Discrete-Event Systems using Continuous Petri Nets. IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans. 42(4):970-984.
.
2012.
[RP-82-04] Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales. :51-57.
.
1982.
[1490] Half a century after Carl Adam Petri's PhD thesis: a perspective on the field. Annual Reviews in Control. 37(2):191-219.
.
2013.
[1531] Hybrid and Hybrid Adaptive Petri Nets: on the computation of a Reachability Graph. Nonlinear Analysis: Hybrid Systems. 16
.
2015.
[RP-83-03] Lenguajes de Programación para el Control de Procesos Industriales. :127-137.
.
1983.
[RP-83-04] Lenguajes de programación para robots industriales (Parte I). :35-48.
.
1983.
[RP-84-02] Lenguajes de programación para robots industriales (Parte II). :39-53.
.
1984.
[1434] Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems.
.
2012.
[1453] Minimum-time Decentralized Control of Choice-Free Continuous Petri Nets. Nonlinear Analysis: Hybrid Systems. 7(1):39-53.
.
2013.
[ARReTeSi97] Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
.
1998.
[RP-86-02] Nuevos métodos para la especificación del control de sistemas flexibles de fabricación. :185-195.
.
1986.
[1258] Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.
.
2010.
[ARSiRe04] On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control. 28:253-266.
.
2004.
[1450] On fluidization of discrete event models: observation and control of continuous Petri nets. Discrete Event Dynamic Systems: Theory and Applications. 21(4):497.
.
2011.
[ARReTeSi98] On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
.
1998.
[1500] On the fluidization of Petri nets and marking homothecy. Nonlinear Analysis: Hybrid Systems. 12:3-19.
.
2014.
[1502] ON/OFF strategy based minimum-time control of continuous Petri nets. Nonlinear Analysis: Hybrid Systems. 12
.
2014.