Manuel Silva Suárez

112 papers A* 2B 5C 6Journal 38Unranked 58
YearRankTypeTitle / Venue / Authors
2018 J jnl
Petri nets and Automatic Control: A historical perspective.
Annu. Rev. Control.
Alessandro Giua, Manuel Silva Suárez
2017 J jnl
Fluid approximation of Petri net models with relatively small populations.
Discret. Event Dyn. Syst.
Estíbaliz Fraca, Jorge Júlvez, Manuel Silva Suárez
2017 C conf
Towards efficient algorithms for planning surgeries in operation rooms.
ETFA
Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez
2016 — conf
Discontinuities and non-monotonicities in Mono-T-Semiflow timed continuous Petri nets.
WODES
Manuel Navarro-Gutiérrez, Antonio Ramírez-Treviño, Manuel Silva Suárez
2016 — conf
On liveness enforcement of DSSP net systems.
CDC
Daniel Clavel, Cristian Mahulea, Manuel Silva Suárez
2016 C conf
On the duality between firing rate and initial marking variations in TCPN.
ETFA
Manuel Navarro-Gutiérrez, Antonio Ramírez-Treviño, Manuel Silva Suárez
2016 C conf
Operation planning of elective patients in an Orthopedic Surgery Department.
ETFA
Daniel Clavel, Cristian Mahulea, Jorge Albareda, Manuel Silva Suárez
2015 — conf
Collision avoidance of mobile robots by using initial time delays.
CDC
Xu Wang, Marius Kloetzer, Cristian Mahulea, Manuel Silva Suárez
2015 J jnl
Diagnosis of Time Petri Nets Using Fault Diagnosis Graph.
IEEE Trans. Autom. Control.
Xu Wang, Cristian Mahulea, Manuel Silva Suárez
2015 J jnl
Special issue on recent advances in control of discrete event systems.
Discret. Event Dyn. Syst.
Antonio Ramírez-Treviño, Manuel Silva Suárez, Stéphane Lafortune
2015 J jnl
Stochastic Hybrid Approximations of Markovian Petri Nets.
IEEE Trans. Syst. Man Cybern. Syst.
Carlos Renato Vázquez, Manuel Silva Suárez
2014 J jnl
A control method for distributed continuous mono-T-semiflow Petri nets.
Int. J. Control
Hanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez
2014 J jnl
Controllability of timed continuous Petri nets with uncontrollable transitions.
Int. J. Control
Carlos Renato Vázquez, Antonio Ramírez-Treviño, Manuel Silva Suárez
2014 C conf
Deadlock prevention policy for S
ETFA
Xu Wang, Cristian Mahulea, Manuel Silva Suárez
2014 — conf
Model Checking on Fault Diagnosis Graph.
WODES
Xu Wang, Cristian Mahulea, Manuel Silva Suárez
2014 — conf
The "bound Reaching Problem" on the Fluidization of Timed Petri Nets.
WODES
Estíbaliz Fraca, Jorge Júlvez, Manuel Silva Suárez
2013 C conf
Decentralized diagnosis based on fault diagnosis graph.
ETFA
Xu Wang, Cristian Mahulea, Manuel Silva Suárez
2013 — conf
Distributed Model Predictive Control of timed continuous Petri nets.
CDC
Liewei Wang, Cristian Mahulea, Manuel Silva Suárez
2012 — ed.
11th International Workshop on Discrete Event Systems, WODES 2012, Guadalajara, Mexico, October 3-5, 2012.
WODES
Antonio Ramírez-Treviño, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva Suárez
2012 — conf
Control of continuous Petri nets using ON/OFF based method.
WODES
Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez
2012 J jnl
Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets.
IEEE Trans. Syst. Man Cybern. Part A
Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Manuel Silva Suárez
2012 — conf
Marking homothetic monotonicity and fluidization of untimed Petri nets.
WODES
Estíbaliz Fraca, Jorge Júlvez, Manuel Silva Suárez
2012 — conf
Preface.
WODES
Antonio Ramírez-Treviño, Ernesto López-Mellado, Jean-Jacques Lesage, Manuel Silva Suárez
2012 J jnl
Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models.
IEEE Trans. Syst. Man Cybern. Part A
Carlos Renato Vázquez, Manuel Silva Suárez
2011 J jnl
On fluidization of discrete event models: observation and control of continuous Petri nets.
Discret. Event Dyn. Syst.
Manuel Silva Suárez, Jorge Júlvez, Cristian Mahulea, Carlos Renato Vázquez
2011 J jnl
Timing and liveness in continuous Petri nets.
Autom.
Carlos Renato Vázquez, Manuel Silva Suárez
2010 J jnl
An Automated Framework for Formal Verification of Timed Continuous Petri Nets.
IEEE Trans. Ind. Informatics
Marius Kloetzer, Cristian Mahulea, Calin Belta, Manuel Silva Suárez
2010 — conf
An iterative control method for distributed continuous Petri nets.
CDC
Hanife Apaydin Özkan, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez
2010 J jnl
Continuous Petri Nets: Expressive Power and Decidability Issues.
Int. J. Found. Comput. Sci.
Laura Recalde, Serge Haddad, Manuel Silva Suárez
2010 B conf
Fault diagnosis of manufacturing systems using continuous Petri nets.
SMC
Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva Suárez
2010 C conf
Hybrid Petri Net Model of a Traffic Intersection in an Urban Network.
CCA
Carlos Renato Vázquez, Herman Y. Sutarto, René K. Boel, Manuel Silva Suárez
2010 — conf
Minimum-time control for structurally persistent continuous Petri Nets.
CDC
Liewei Wang, Cristian Mahulea, Jorge Júlvez, Manuel Silva Suárez
2010 — conf
On the Importance of the Deadlock Trap Property for Monotonic Liveness.
ACSD/Petri Nets Workshops
Monika Heiner, Cristian Mahulea, Manuel Silva Suárez
2010 — conf
Timing-dependent boundedness and liveness in continuous Petri nets.
WODES
Carlos Renato Vázquez, Manuel Silva Suárez
2009 J jnl
Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets.
Discret. Event Dyn. Syst.
Cristian Mahulea, Laura Recalde, Manuel Silva Suárez
2009 J jnl
Closed-loop Live Marked Graphs under Generalized Mutual Exclusion Constraint Enforcement.
Discret. Event Dyn. Syst.
Francesco Basile, Laura Recalde, Pasquale Chiacchio, Manuel Silva Suárez
2009 — conf
Fault diagnoser design for untimed continuous Petri nets.
CCA/ISIC
Carla Seatzu, Cristian Mahulea, Maria Paola Cabasino, Manuel Silva Suárez
2009 — conf
New results for fault detection of untimed continuous Petri nets.
CDC
Carla Seatzu, Maria Paola Cabasino, Cristian Mahulea, Manuel Silva Suárez
2009 — conf
Performance control of Markovian Petri nets via fluid models: A stock-level control example.
CASE
Carlos Renato Vázquez, Manuel Silva Suárez
2009 — conf
Piecewise-linear constrained control for timed continuous Petri nets.
CDC
Carlos Renato Vázquez, Manuel Silva Suárez
2008 — conf
Formal analysis of timed continuous Petri nets.
CDC
Marius Kloetzer, Cristian Mahulea, Calin Belta, Laura Recalde, Manuel Silva Suárez
2008 — conf
On Controllability of Timed Continuous Petri Nets.
HSCC
Carlos Renato Vázquez, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva Suárez
2008 J jnl
On Observability and Design of Observers inTimed Continuous Petri Net Systems.
IEEE Trans Autom. Sci. Eng.
Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez
2008 J jnl
Optimal Model Predictive Control of Timed Continuous Petri Nets.
IEEE Trans. Autom. Control.
Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva Suárez
2008 J jnl
Steady-State Control Reference and Token Conservation Laws in Continuous Petri Net Systems.
IEEE Trans Autom. Sci. Eng.
Cristian Mahulea, Antonio Ramírez-Treviño, Laura Recalde, Manuel Silva Suárez
2008 — conf
Stochastic continuous-state approximation of Markovian Petri net systems.
CDC
Carlos Renato Vázquez, Laura Recalde, Manuel Silva Suárez
2008 J jnl
Tracking Control of Join-Free Timed Continuous Petri Net Systems under Infinite Servers Semantics.
Discret. Event Dyn. Syst.
Jing Xu, Laura Recalde, Manuel Silva Suárez
2007 B conf
Continuous Petri Nets: Expressive Power and Decidability Issues.
ATVA
Laura Recalde, Serge Haddad, Manuel Silva Suárez
2007 — conf
State Estimation of Petri Nets by Transformation.
CASE
Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva Suárez
2006 J jnl
Deadlock-Freeness Analysis of Continuous Mono-T-Semiflow Petri Nets.
IEEE Trans. Autom. Control.
Jorge Júlvez, Laura Recalde, Manuel Silva Suárez
2006 — conf
Improving analysis and simulation of continuous Petri Nets.
CASE
Laura Recalde, Cristian Mahulea, Manuel Silva Suárez
2006 — conf
On the Computational Power of Timed Differentiable Petri Nets.
FORMATS
Serge Haddad, Laura Recalde, Manuel Silva Suárez
2005 — conf
Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control.
ICATPN
Manuel Silva Suárez, Laura Recalde
2005 J jnl
Product-form and stochastic Petri nets: a structural approach.
Perform. Evaluation
Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez
2005 J jnl
Steady-state performance evaluation of continuous mono-T-semiflow Petri nets.
Autom.
Jorge Júlvez, Laura Recalde, Manuel Silva Suárez
2004 — conf
Design of observers for timed continuous Petri net systems.
SMC (2)
Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez
2004 — conf
On Observability in Timed Continuous Petri Net Systems.
QEST
Jorge Júlvez, Emilio Jiménez, Laura Recalde, Manuel Silva Suárez
2004 J jnl
On fluidification of Petri Nets: from discrete to hybrid and continuous models.
Annu. Rev. Control.
Manuel Silva Suárez, Laura Recalde
2004 — conf
Relaxed continuous views of discrete event systems: considerations on Forrester diagrams and Petri nets.
SMC (5)
Emilio Jiménez, Jorge Júlvez, Laura Recalde, Manuel Silva Suárez
2004 — conf
Two heuristics for the improvement of a two-phase optimization method for manufacturing systems.
SMC (2)
Diego Rodríguez, Armin Zimmermann, Manuel Silva Suárez
2003 — conf
On Reachability in Autonomous Continuous Petri Net Systems.
ICATPN
Jorge Júlvez, Laura Recalde, Manuel Silva Suárez
2003 — conf
Petri Nets and Manufacturing Systems: An Examples-Driven Tour.
Lectures on Concurrency and Petri Nets
Laura Recalde, Manuel Silva Suárez, Joaquin Ezpeleta, Enrique Teruel
2003 — conf
Unforced Continuous Petri Nets and Positive Systems.
POSTA
Manuel Silva Suárez, Laura Recalde
2002 J jnl
Petri nets and integrality relaxations: A view of continuous Petri net models.
IEEE Trans. Syst. Man Cybern. Part C
Manuel Silva Suárez, Laura Recalde
2001 — conf
A Comparison of the Expressiveness of SPA and Bounded SPN Models.
PNPM
Jane Hillston, Laura Recalde, Marina Ribaudo, Manuel Silva Suárez
2001 J jnl
A two phase optimization method for Petri net models of manufacturing systems.
J. Intell. Manuf.
Armin Zimmermann, Diego Rodríguez, Manuel Silva Suárez
2001 — conf
Forrester diagrams and continuous Petri nets: a comparative view.
ETFA (2)
Emilio Jiménez, Laura Recalde, Manuel Silva Suárez
2001 — conf
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets.
ICATPN
Serge Haddad, Patrice Moreaux, Matteo Sereno, Manuel Silva Suárez
2001 J jnl
Structure theory of multi-level deterministically synchronized sequential processes.
Theor. Comput. Sci.
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
1999 — conf
Autonomous Continuous P/T Systems.
ICATPN
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
1999 J jnl
Structured Solution of Asynchronously Communicating Stochastic Modules.
IEEE Trans. Software Eng.
Javier Campos, Susanna Donatelli, Manuel Silva Suárez
1998 — ed.
Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN '98, Lisbon, Portugal, June 22-26, 1998, Proceedings
ICATPN
Jörg Desel, Manuel Silva Suárez
1998 J jnl
Modeling and analysis of sequential processes that cooperate through buffers.
IEEE Trans. Robotics Autom.
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
1998 J jnl
On Linear Algebraic Techniques for Liveness Analysis of P/T Systems.
J. Circuits Syst. Comput.
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
1998 B conf
Reducing the computational complexity of scheduling problems in Petri nets by means of transformation rules.
SMC
Juan Carlos Mugarza, Hervé Camus, Jean-Claude Gentina, Enrique Teruel, Manuel Silva Suárez
1997 J jnl
Choice-free Petri nets: a model for deterministic concurrent systems with bulk services and arrivals.
IEEE Trans. Syst. Man Cybern. Part A
Enrique Teruel, José Manuel Colom, Manuel Silva Suárez
1997 J jnl
Petri Nets for the Design and Operation of Manufacturing Systems.
Eur. J. Control
Manuel Silva Suárez, Enrique Teruel
1997 — conf
Structured solution of stochastic DSSP systems.
PNPM
Javier Campos, Manuel Silva Suárez, Susanna Donatelli
1997 — conf
Throughput approximation of decision free processes using decomposition.
PNPM
Vassilis Mertsiotakis, Manuel Silva Suárez
1996 B conf
Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems.
Petri Nets
Manuel Silva Suárez, Enrique Teruel, José Manuel Colom
1996 — conf
Petri Nets and Production Systems.
Petri Nets (2)
Manuel Silva Suárez, Enrique Teruel, Robert Valette, Hervé Pingaud
1996 J jnl
Structure Theory of Equal Conflict Systems.
Theor. Comput. Sci.
Enrique Teruel, Manuel Silva Suárez
1996 — conf
{SC}*ECS: A Class of Modular and Hierarchical Cooperating Systems.
Application and Theory of Petri Nets
Laura Recalde, Enrique Teruel, Manuel Silva Suárez
1994 J jnl
Approximate Throughput Computation of Stochastic Marked Graphs.
IEEE Trans. Software Eng.
Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez
1994 — conf
Well-Formedness of Equal Conflict Systems.
Application and Theory of Petri Nets
Enrique Teruel, Manuel Silva Suárez
1993 — conf
A general iterative technique for approximate throughput computation of stochastic marked graphs.
PNPM
Javier Campos, José Manuel Colom, Hauke Jungnitz, Manuel Silva Suárez
1993 J jnl
Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems.
Perform. Evaluation
Javier Campos, Manuel Silva Suárez
1993 — conf
Liveness and Home States in Equal Conflict Systems.
Application and Theory of Petri Nets
Enrique Teruel, Manuel Silva Suárez
1993 — conf
Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals.
Decentralized and Distributed Systems
Enrique Teruel, José Manuel Colom, Manuel Silva Suárez
1993 — conf
On Optimal Scheduling in DEDS.
ICRA (3)
Antonio Ramírez-Treviño, Javier Campos, Manuel Silva Suárez
1993 — conf
Operational analysis of timed Petri nets and application to the computation of performance bounds.
PNPM
Giovanni Chiola, Cosimo Anglano, Javier Campos, José Manuel Colom, Manuel Silva Suárez
1993 J jnl
Petri Nets applied to the modelling and analysis of computer architecture problems.
Microprocess. Microprogramming
Manuel Silva Suárez, José Manuel Colom
1992 J jnl
A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets.
Theor. Comput. Sci.
Javier Esparza, Manuel Silva Suárez
1992 J jnl
Approximate Throughput Computation of Stohastic Marked Graphs.
J. Parallel Distributed Comput.
Hauke Jungnitz, Beatriz Sánchez, Manuel Silva Suárez
1992 — conf
On Weighted T-Systems.
Application and Theory of Petri Nets
Enrique Teruel, Piotr Chrzastowski-Wachtel, José Manuel Colom, Manuel Silva Suárez
1992 A* conf
Response time approximation for the performance analysis of manufacturing systems modeled with stochastic marked graphs.
ICRA
Hauke Jungnitz, Beatriz Sánchez, Manuel Silva Suárez
1992 — ch.
Structural techniques and performance bounds of stochastic Petri net models.
Advances in Petri Nets: The DEMON Project
Javier Campos, Manuel Silva Suárez
1991 — conf
A New Technique for Finding a Generating Family of Siphons, Traps and st-Components. Application to Colored Petri Nets.
Applications and Theory of Petri Nets
Joaquin Ezpeleta, Jean-Michel Couvreur, Manuel Silva Suárez
1991 B conf
Compositional Synthesis of Live and Bounded Free Choice Petri Nets.
CONCUR
Javier Esparza, Manuel Silva Suárez
1991 J jnl
Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector.
IEEE Trans. Software Eng.
Javier Campos, Giovanni Chiola, Manuel Silva Suárez
1991 — conf
Througput Lower Bounds for Markovian Petri Nets: Transformation Techniques.
PNPM
Javier Campos, Beatriz Sánchez, Manuel Silva Suárez
1991 — conf
Througput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks.
PNPM
Javier Campos, Manuel Silva Suárez
1990 — conf
Top-down synthesis of live and bounded free choice nets.
Applications and Theory of Petri Nets
Javier Esparza, Manuel Silva Suárez
1989 — conf
Circuits, handles, bridges and nets.
Applications and Theory of Petri Nets
Javier Esparza, Manuel Silva Suárez
1989 — conf
Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal P-semiflows.
Applications and Theory of Petri Nets
José Manuel Colom, Manuel Silva Suárez
1989 — conf
Improving the linearly based characterization of P/T nets.
Applications and Theory of Petri Nets
José Manuel Colom, Manuel Silva Suárez
1989 — conf
On the analysis and synthesis of free choice systems.
Applications and Theory of Petri Nets
Javier Esparza, Manuel Silva Suárez
1989 — conf
Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector.
PNPM
Javier Campos, Giovanni Chiola, Manuel Silva Suárez
1989 — conf
Tight Polynomial Bounds for Steady-State Performance of Marked Graphs.
PNPM
Javier Campos, Giovanni Chiola, José Manuel Colom, Manuel Silva Suárez
1988 — conf
Petri nets and flexible manufacturing.
European Workshop on Applications and Theory in Petri Nets
Manuel Silva Suárez, Robert Valette
1987 A* conf
Modeling, validation and software implementation of production systems using high level Petri nets.
ICRA
Javier Martinez, Pedro R. Muro-Medrano, Manuel Silva Suárez
1987 — conf
On the Computation of Structural Synchronic Invariants in P/T Nets.
European Workshop on Applications and Theory of Petri Nets
Manuel Silva Suárez, José Manuel Colom