2008 |
18 | EE | C. Renato Vázquez,
Antonio Ramírez,
Laura Recalde,
Manuel Silva:
On Controllability of Timed Continuous Petri Nets.
HSCC 2008: 528-541 |
17 | EE | Jing Xu,
Laura Recalde,
Manuel Silva:
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics.
Discrete Event Dynamic Systems 18(2): 263-283 (2008) |
2007 |
16 | EE | Laura Recalde,
Serge Haddad,
Manuel Silva:
Continuous Petri Nets: Expressive Power and Decidability Issues.
ATVA 2007: 362-377 |
2006 |
15 | EE | Serge Haddad,
Laura Recalde,
Manuel Silva:
On the Computational Power of Timed Differentiable Petri Nets.
FORMATS 2006: 230-244 |
2005 |
14 | EE | Manuel Silva,
Laura Recalde:
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.
ICATPN 2005: 26-47 |
13 | EE | Jorge Júlvez,
Laura Recalde,
Manuel Silva:
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets.
Automatica 41(4): 605-616 (2005) |
2004 |
12 | EE | Jorge Júlvez,
Emilio Jiménez,
Laura Recalde,
Manuel Silva:
On Observability in Timed Continuous Petri Net Systems.
QEST 2004: 60-69 |
11 | EE | Jorge Júlvez,
Emilio Jiménez,
Laura Recalde,
Manuel Silva:
Design of observers for timed continuous Petri net systems.
SMC (2) 2004: 1678-1685 |
10 | EE | Emilio Jiménez,
Jorge Júlvez,
Laura Recalde,
Manuel Silva:
Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets.
SMC (5) 2004: 4897-4904 |
9 | EE | Joaquin Ezpeleta,
Laura Recalde:
A deadlock avoidance approach for nonsequential resource allocation systems.
IEEE Transactions on Systems, Man, and Cybernetics, Part A 34(1): 93-101 (2004) |
2003 |
8 | EE | Jorge Júlvez,
Laura Recalde,
Manuel Silva:
On Reachability in Autonomous Continuous Petri Net Systems.
ICATPN 2003: 221-240 |
7 | EE | Laura Recalde,
Manuel Silva,
Joaquin Ezpeleta,
Enrique Teruel:
Petri Nets and Manufacturing Systems: An Examples-Driven Tour.
Lectures on Concurrency and Petri Nets 2003: 742-788 |
6 | EE | Manuel Silva,
Laura Recalde:
Unforced Continuous Petri Nets and Positive Systems.
POSTA 2003: 55-62 |
2002 |
5 | | Manuel Silva,
Laura Recalde:
Petri nets and integrality relaxations: A view of continuous Petri net models.
IEEE Transactions on Systems, Man, and Cybernetics, Part C 32(4): 314-327 (2002) |
2001 |
4 | EE | Laura Recalde,
Enrique Teruel,
Manuel Silva:
Structure theory of multi-level deterministically synchronized sequential processes.
Theor. Comput. Sci. 254(1-2): 1-33 (2001) |
1999 |
3 | EE | Laura Recalde,
Enrique Teruel,
Manuel Silva:
Autonomous Continuous P/T Systems.
ICATPN 1999: 107-126 |
1998 |
2 | EE | Laura Recalde,
Enrique Teruel,
Manuel Silva:
On Linear Algebraic Techniques for Liveness Analysis of P/T Systems.
Journal of Circuits, Systems, and Computers 8(1): 223-265 (1998) |
1996 |
1 | | Laura Recalde,
Enrique Teruel,
Manuel Silva:
{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems.
Application and Theory of Petri Nets 1996: 440-459 |