Publications
] Filters: Author is L. Recalde [Clear All Filters]
[IPJiJuReSi05] .
2005. On Controllability of Timed Continuous Petri Net Systems: the Join Free Case. :7645-7650.
[ARJuReSi05] .
2005. Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
[IPJuJiReSi04a] .
2004. On Observability in Timed Continuous Petri Net Systems. :60-69.
[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
[ICReSiEzTe04] .
2004. Petri nets and manufacturing systems: An examples-driven tour. 3098:742-788.
[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.
[ARSiRe04] .
2004. On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control. 28:253-266.
[IPJiJuReSi04] .
2004. Relaxed Continuous Views of Discrete Event Systems: considerations in Forrester Diagrams and Petri Nets. :4897-4904.
[IPSiRe03] .
2003. On fluidification of Petri net models: from discrete to hybrid and continuous models. :9-20.
[IPSiRe03b] .
2003. Unforced Continuous Petri Nets and Positive Systems. Lecture Notes in Control and Information Sciences.
[IPJuReSi03a] .
2003. On reachability in autonomous continuous Petri net systems.
[IPReJuSi02] .
2002. Steady State Performance evaluation for some continuous Petri nets. :N479.
[IPJuReSi02] .
2002. On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets. :781-786.
[IPEzRe02] .
2002. A Deadlock Avoidance Approach for Non Sequential Resource Allocation Systems.
[ARSiRe02] .
2002. Petri nets and integrality relaxations A view of continuous Petri nets. IEEE Trans on Systems Man and Cybernetics. 32:314-327.
[IPHRRS01] .
2001. A Comparison of the Expressiveness of SPA and Bounded SPN models. :197-206.
[ARReTeSi01] .
2001. Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.
[IPJiReSi01] .
2001. Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.
[ARReSi00] .
2001. Petri Nets fluidification revisited Semantics and steady state. APII JESA. 35:435-449.
[IPBaReChSi00] .
2000. Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.
[IPReTeSi99] .
1999. Autonomous Continuous PT systems. 1639:107-126.
[ARReTeSi97] .
1998. Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
[ARReTeSi98] .
1998. On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.
