Publications
] Filters: Author is L. Recalde [Clear All Filters]
[IPReTeSi99] .
1999. Autonomous Continuous PT systems. 1639:107-126.
[1257] .
2009. Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems. 19(2):212.
[IPBaReChSi00] .
2000. Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
[IPHRRS01] .
2001. A Comparison of the Expressiveness of SPA and Bounded SPN models. :197-206.
[IPSiRe05] .
2005. Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.
[IPReHaSi07] .
2007. Continuous Petri Nets: Expressive Power and Decidability Issues. LNCS. 4762:362-377.
[1288] .
2010. Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science. 21(2):235-256.
[IPEzRe02] .
2002. A Deadlock Avoidance Approach for Non Sequential Resource Allocation Systems.
[EzRe-04] .
2004. A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems. IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans. 34
[ARJuReSi06] .
2006. Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets. IEEE Trans. on Automatic Control. 51:1472-1481.
[IPJuJiReSi04b] .
2004. Design of Observers for Timed Continuous Petri Net Systems. :1678-1685.
[IPJuBeReSi04] .
2004. Event-driven optimal control of continuous Petri nets. :69-74.
[IPKLMA08] .
2008. Formal analysis of timed continuous Petri net.
[IPJiReSi01] .
2001. Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.
[IPReMaSi06] .
2006. Improving analysis and simulation of continuous Petri Nets. :7–12.
[ARReTeSi97] .
1998. Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
[1258] .
2010. Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.
[IPMARESI08] .
2008. Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems.
[1250] .
2009. Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[IPJiJuReSi05] .
2005. On Controllability of Timed Continuous Petri Net Systems: the Join Free Case. :7645-7650.
[IPVaRaReSi08] .
2008. On Controllability of Timed Continuous Petri Nets. Lectures Notes in Computer Science. 4981:528–541.
[IPJuReSi02] .
2002. On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets. :781-786.
[IPSiRe03] .
2003. On fluidification of Petri net models: from discrete to hybrid and continuous models. :9-20.
[ARSiRe04] .
2004. On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control. 28:253-266.
[ARReTeSi98] .
1998. On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
