Filters: Author is L. Recalde [Clear All Filters]
[TRMaGiReSeSi07] Optimal model predictive control of Timed Continuous Petri nets.. 2008.
 Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets. Discrete Event Dynamic Systems. 19(2):212.. 2009.
 Continuous Petri Nets: Expressive Power and Decidability Issues. International Journal of Foundations of Computer Science. 21(2):235-256.. 2010.
[EzRe-04] A Deadlock Avoidance Approach for Non-Sequential Resource Allocation Systems. IEEE Transactions on Systems, Man and Cybernetics. Part-A: Systems and Humans. 34. 2004.
[ARJuReSi06] Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets. IEEE Trans. on Automatic Control. 51:1472-1481.. 2006.
[ARReTeSi97] Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.. 1998.
 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.
[ARReTeSi98] On Linear Algebraic Techniques for Liveness Analysis of PT Systems. Journal of Circuits Systems and Computers. 8:223-265.. 1998.
[ARMAGIRESESI08] Optimal model predictive control of Timed Continuous Petri nets. IEEE Transactions on Automatic Control. 53:1731-1735.. 2008.
[ARSiRe02] Petri nets and integrality relaxations A view of continuous Petri nets. IEEE Trans on Systems Man and Cybernetics. 32:314-327.. 2002.
[ARReSi00] Petri Nets fluidification revisited Semantics and steady state. APII JESA. 35:435-449.. 2001.
[ARMARARESI08] Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automation Science and Engineering. 5:307-320.. 2008.
[ARJuReSi05] Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.. 2005.
[ARReTeSi01] Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.. 2001.
[IPJuBeReSi04] Event-driven optimal control of continuous Petri nets. :69-74.. 2004.
[IPBaReChSi00] Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints. :169-180.. 2000.
[IPHRRS01] A Comparison of the Expressiveness of SPA and Bounded SPN models. :197-206.. 2001.
[IPSiRe05] Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.. 2005.
[IPReHaSi07] Continuous Petri Nets: Expressive Power and Decidability Issues. LNCS. 4762:362-377.. 2007.
[IPEzRe02] A Deadlock Avoidance Approach for Non Sequential Resource Allocation Systems.. 2002.
[IPJuJiReSi04b] Design of Observers for Timed Continuous Petri Net Systems. :1678-1685.. 2004.
[IPKLMA08] Formal analysis of timed continuous Petri net.. 2008.
[IPJiReSi01] Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.. 2001.