 | 2008 |
|---|
| 22 |       | Marius Kloetzer,
Cristian Mahulea,
Calin Belta,
Laura Recalde,
Manuel Silva:
Formal analysis of timed continuous Petri nets.
CDC 2008: 245-250 |
| 21 | | Carlos Renato Vázquez,
Laura Recalde,
Manuel Silva:
Stochastic continuous-state approximation of Markovian Petri net systems.
CDC 2008: 901-906 |
| 20 | | Carlos Renato Vázquez,
Antonio Ramírez,
Laura Recalde,
Manuel Silva:
On Controllability of Timed Continuous Petri Nets.
HSCC 2008: 528-541 |
| 19 | | 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) |
| 18 | | Cristian Mahulea,
Antonio Ramírez-Treviño,
Laura Recalde,
Manuel Silva:
Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems.
IEEE T. Automation Science and Engineering 5(2): 307-320 (2008) |
| 17 | | Jorge Júlvez,
Emilio Jiménez,
Laura Recalde,
Manuel Silva:
On Observability and Design of Observers inTimed Continuous Petri Net Systems.
IEEE T. Automation Science and Engineering 5(3): 532-537 (2008) |
| 2007 |
|---|
| 16 | | Laura Recalde,
Serge Haddad,
Manuel Silva:
Continuous Petri Nets: Expressive Power and Decidability Issues.
ATVA 2007: 362-377 |
| 2006 |
|---|
| 15 | | Serge Haddad,
Laura Recalde,
Manuel Silva:
On the Computational Power of Timed Differentiable Petri Nets.
FORMATS 2006: 230-244 |
| 2005 |
|---|
| 14 | | Manuel Silva,
Laura Recalde:
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.
ICATPN 2005: 26-47 |
| 13 | | 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 | | Jorge Júlvez,
Emilio Jiménez,
Laura Recalde,
Manuel Silva:
On Observability in Timed Continuous Petri Net Systems.
QEST 2004: 60-69 |
| 11 | | 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 | | 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 | | 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 | | Jorge Júlvez,
Laura Recalde,
Manuel Silva:
On Reachability in Autonomous Continuous Petri Net Systems.
ICATPN 2003: 221-240 |
| 7 | | 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 | | 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 | | 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 | | Laura Recalde,
Enrique Teruel,
Manuel Silva:
Autonomous Continuous P/T Systems.
ICATPN 1999: 107-126 |
| 1998 |
|---|
| 2 | | 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 |
