Silva, M.

• Giua, A.; Mahulea, C.; Recalde, L.; Seatzu, C.; Silva, M.:
  Optimal Control of Timed Continuous Petri Nets via Explicit MPC. 2006.

• Haddad, Serge; Recalde, Laura; Silva, Manuel:
  On the Computational Power of Timed Differentiable Petri Nets. 2006.

• Mahulea, C.; Recalde, L.; Silva, M.:
  Optimal Observability for Continuous Petri Nets. 2005.

• Mahulea, C.; Recalde, L.; Silva, M.:
  Optimal Observability for Continuous Petri Nets. 2005.

• Silva, Manuel; Recalde, Laura:
  Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control. 2005.

• Haddad, S.; Moreaux, P.; Sereno, M.; Silva, M.:
  Product-Form and Stochastic Petri Nets: a Structural Approach. 2005.

• Rodríguez, D.; Zimmermann, A.; Silva, M.:
  Two Heuristics for the Improvement of a Two-Phase Optimization Method for Manufacturing Systems. 2004.

• Recalde, Laura; Silva, Manuel; Ezpeleta, Joaquín; Teruel, Enrique:
  Petri Nets and Manufacturing Systems: An Examples-Driven Tour. 2004.

• Júlvez, Jorge; Recalde, Laura; Silva, Manuel:
  On Reachability in Autonomous Continuous Petri Net Systems. 2003.

• Colom, J.M.; Silva, M.; Teruel, E.:
  Petri Nets - Basic Concepts: Properties. 2002.

• Colom, J.M.; Silva, M.; Teruel, E.; Haddad, S.:
  Verification: Structural Methods. 2002.

• Julvez, J.; Recalde, L.; Silva, M.:
  On deadlock-freeness analysis of autonomous and timed continuous mono-T-semiflow nets. 2002.

• Recalde, L.; Julvez, J.; Silva, M.:
  Steady State Performance evaluation for some continuous Petri nets. 2002.

• Hillston, J.; Recalde, L.; Ribaudo, M.; Silva, M.:
  A Comparison of the Expressiveness of SPA and Bounded SPN models. 2001.

• Zimmermann, A.; Rodriguez, D.; Silva, M.:
  A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. 2001.

• Haddad, Serge; Moreaux, Patrice; Sereno, Matteo; Silva, Manuel:
  Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets. 2001.

• Zimmermann, A.; Rodriguez, D.; Silva, M.:
  Ein effizientes Optimierungsverfahren für Petri-Netz-Modelle von Fertigungssystemen. 2001.

• Zimmermann, A.; Rodriguez, D.; Silva, M.:
  A Two Phase Strategy for DEDS: Application to a Manufacturing System. 2000.

• Zimmermann, A.; Rodriguez, D.; Silva, M.:
  Modelling and Optimization of Manufacturing Systems: Petri Nets and Simulated Annealing. 1999.

• Recalde, Laura; Teruel, Enrique; Silva, Manuel:
  Autonomous Continuous P/T Systems. 1999.

• Campos, J.; Donatelli, S.; Silva, M.:
  Structured Solution of Asynchronously Communicating Stochastic Modules. 1999.

• Recalde, L.; Teruel, E.; Silva, M.:
  On linear algebraic techniques for liveness analysis of P/T system. 1998.

• Silva, Manuel; Teruel, Enrique; Colom, José Manuel:
  Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems. 1998.

• Silva, M.; Teruel, E.; Valette, R.; Pingaud, H.:
  Petri Nets and Production Systems. 1998.

• Mugarza, J.C.; Camus, H.; Gentina, J.-C.; Teruel, E.; Silva, M.:
  Reducing the Computational Complexity of Scheduling Problems in Petri Nets by means of Transformation Rules. 1998.

• Silva, M.; Campos, J.:
  Introduction to Net-Driven Decomposition Techniques. 1998.

• Silva, M.; Campos, J.:
  Performance Evaluation of DEDS with Conflicts and Synchronizations: Net-Driven Decomposition Techniques. 1998.

• Teruel, E.; Colom, J.M.; Silva, M.:
  Choice-free Petri Nets: A Model for Deterministic Concurrent Systems with Bulk Services and Arrivals. 1997.

• Recalde, Laura; Teruel, Enrique; Silva, Manuel:
  Transformation and Decomposition Techniques to Improve the Decision Power of the Rank Theorems. 1997.

• Campos, J.; Silva, M.; Donatelli, S.:
  Structured Solution of Stochastic DSSP Systems. 1997.

• Mertsiotakis, Vassilis; Silva, Manuel:
  Throughput Approximation of Decision Free Processes Using Decomposition. 1997.

• Pérez-Jiménez, C.J.; Campos, J.; Silva, M.:
  State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes. 1996.

• Teruel, Enrique; Silva, Manuel:
  Structure Theory of Equal Conflict systems. 1996.

• Pérez-Jiménez, C.J.; Campos, J.; Silva, M.:
  On Approximate Performance Evaluation of Manufacturing Systems Modelled with Weighted T-Systems. 1996.

• Recalde, Laura; Teruel, Enrique; Silva, Manuel:
  (SC)^*ECS: A Class of Modular and Hierarchical Cooperating Systems. 1996.

• Pérez-Jiménez, C.J.; Campos, J.; Silva, M.:
  Approximate Throughput Computation of a Class of Cooperating Sequential Processes. 1996.

• Best, E.; Devillers, R.; Pelz, E.; Rensink, A.; Silva, M.; Teruel, E.:
  CALIBAN - Esprit Basic Research WG 6067. 1995.

• Campos, J.; Colom, J.M.; Jungnitz, H.; Silva, M.:
  Approximate Throughput Computation of Stochastic Marked Graphs. 1995.

• Chiola, G.; Anglano, C.; Campos, J.; Colom, J.M.; Silva, M.:
  Operational Analysis of Timed Petri nets and Application to the Computation of Performance Bounds. 1995.

• Recalde, Laura; Teruel, Enrique; Silva, Manuel:
  One Well-formedness Analysis: The Case of Deterministic Systems of Sequential Processes. 1995.

• Teruel, E.; Colom, J.M.; Silva, M.:
  Deterministic Concurrent Systems with Bulk Services and Arrivals. 1995.

• Teruel, E.; Silva, M.; Colom, J.M.; Campos, J.:
  Functional and Performance Analysis of Cooperating Sequential Proceses. 1995.

• Pérez-Jiménez, C.J.; Campos, J.; Silva, M.:
  On Approximate Throughput Computation of Deterministic Systems of Sequential Processes. 1995.

• Silva, M.; Campos, J.:
  Structural Performance Analysis of Stochastic Petri Nets. 1995.

• Briz, J.L.; Colom, J.M.; Silva, M.:
  Discrete Event Simulation based on Timed Petri Nets using Linear Enabling Functions. 1994.

• Campos, J.; Colom, J.M.; Jungnitz, H.; Silva, M.:
  Approximate Throughput Computation of Stochastic Marked Graphs. 1994.

• Chiola, G.; Anglano, C.; Campos, J.; Colom, J.M.; Silva, M.:
  Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. 1994.

• Teruel, E.; Silva, M.:
  Well-formedness of Equal Conflict Systems. 1994.

• Teruel, E.; Silva, M.; Colom, J.M.; Campos, J.:
  Functional and Performance Analysis of Cooperating Sequential Processes. 1994.

• Tilgner, Marco; Silva, Manuel:
  Approximate Performance Analysis on Petri Net based models of Manufacturing Systems. 1994.

• Balbo, G.; Silva, M.; Chiola, G.; Campos, J.; al., et:
  The Timed (Coloured) Petri Net Formalism: Position Paper. 1993.

• Campos, J.; Colom, J.M.; Jungnitz, H.; Silva, M.:
  A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. 1993.

• Chiola, G.; Anglano, C.; Campos, J.; Colom, J.M.; Silva, M.:
  Operational Analysis of Timed Petri Nets and Application to the Computation of Peformance Bounds. 1993.

• Chiola, G.; Anglano, C.; Campos, J.; Colom, J.M.; Silva, M.:
  Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds. 1993.

• Ezpeleta, J.; Couvreur, J.M.; Silva, M.:
  A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets. 1993.

• Silva, M.:
  Interleaving Functional and Performance Structural Analysis of Net Models. 1993.

• Silva, M.:
  Introducing Petri Nets. 1993.

• Silva, M.; Colom, J.M.:
  Petri Nets applied to the modelling and analysis of computer architecture problems. 1993.

• Teruel, E.; Colom, J.M.; Silva, M.:
  Linear Analysis of Deadlock-Freeness of Petri Net Models. 1993.

• Teruel, E.; Colom, J.M.; Silva, M.:
  Linear Analysis of Deadlock-Freeness of Petri Net Models. 1993.

• Teruel, E.; Colom, J.M.; Silva, M.:
  Modelling and Analysis of Deterministic Concurrent Systems with Bulk Services and Arrivals. 1993.

• Teruel, E.; Silva, M.:
  Liveness and Home States in Equal Conflict Systems. 1993.

• Campos, J.; Silva, M.:
  Embedded Product-Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems. 1993.

• Ramírez, A.; Campos, J.; Silva, M.:
  On Optimal Scheduling in DEDS. 1993.

• Silva, M.; Campos, J.:
  Performance Models Based on Petri Nets. 1993.

• Campos, J.; Colom, J.M.; Silva, M.:
  Improving throughput upper bounds for net based models. 1992.

• Campos, Javier; Silva, Manuela:
  Structural Techniques and Performance Bounds of Stochastic Petri Nets Models. 1992.

• Jungnitz, H.; Sánchze, B.; Silva, M.:
  Approximate Throughput Computation of Stochastic Marked Graphs. 1992.

• Silva, M.; Colom, J.M.; Campos, J.:
  Linear Algebraic Techniques for the Analysis of Petri Nets. 1992.

• Silva, M.; Colom, J.M.; Campos, J.:
  Linear Algebraic Techniques for the Analysis of Petri Nets. 1992.

• Silva, M.; Murata, Tadao:
  B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems. 1992.

• Teruel, E.; Chrzastowski, P.; Colom, J.M.; Silva, M.:
  On Weighted T-Systems. 1992.

• Campos, J.; Chiola, G.; Colom, J.M.; Silva, M.:
  Properties and Performance Bounds for Timed Marked Graphs. 1992.

• Campos, J.; Chiola, G.; Silva, M.:
  Ergodicity and throughput bounds of Petri nets with unique consistent firing count vector. 1991.

• Campos, Javier; Colom, José Maria; Silva, Manuel:
  Improving Throughput Upper Bounds for Net Based Models of Manufacturing Systems. 1991.

• Campos, J.; Colom, J.M.; Silva, M.:
  Improving throughput upper bounds for net based models. 1991.

• Esparza, J.; Silva, M.:
  Compositional Synthesis of Live and bounded Free Choice Petri Nets. 1991.

• Esparza, J.; Silva, M.:
  On the analysis and synthesis of free choice systems. 1991.

• Esparza, Javier; Silva, Manuel:
  On the Analysis and Synthesis of Free Choice Systems. 1991.

• Silva, M.; Colom, J.M.; Campos, J.:
  Linear Algebraic Techniques for the Analysis of Petri Nets. 1991.

• Silva, M.; Colom, J.M.; Campos, J.:
  Linear Algebraic Techniques for the Analysis of Petri Nets. 1991.

• Campos, J.; Chiola, G.; Silva, M.:
  Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks. 1991.

• Campos, Javier; Silva, Manuel:
  Throughput Upper Bounds for Markovian Petri Nets: Embedded Subnets and Queueing Networks. 1991.

• Campos, Javier; Sánchez, Beatriz; Silva, Manuel:
  Throughput Lower Bounds for Markovian Petri Nets: Transformation Techniques. 1991.

• Onaga, K.; Silva, M.; Watanabe, T.:
  On Periodic Schedules for Deterministically Timed Petri Net Systems. 1991.

• Esparza, Javier; Silva, Manuel:
  Handles in Petri Nets. 1991.

• Campos, Javier; Chiola, Giovanni; Silva, Manual:
  Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector. 1991.

• Campos, J.; Chiola, G.; Silva, M.:
  Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. 1990.

• Campos, J.; Colom, J.M.; Silva, M.:
  Performance Evaluation of Repetitive Automated Manufacturing Systems. 1990.

• Campos, J.; Silva, M.:
  Steady-State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. 1990.

• Colom, J.M.; Campos, J.; Silva, M.:
  On liveness analysis through linear algebraic techniques. 1990.

• Esparza, Javier; Silva, Manuel:
  Top-Down Synthesis of Live and Bounded Free Choice Nets. 1990.

• Murata, Tadao; Silva, M.:
  Petri-Net-Based Fairness Concepts for Discrete Event Systems. 1990.

• Silva, Manuel; Valette, Robert:
  Petri Nets and Flexible Manufacturing. 1990.

• Campos, Javier; Chiola, Giovanni; Colom, José Maria; Silva, Manuel:
  Properties and Performance Bounds for Timed Marked Graphs. 1990.

• Esparza, Javier; Silva, Manuel:
  Compositional Synthesis of Live and Bounded Free Choice Nets. 1990.

• Colom, J.M.; Silva, M.:
  Convex Geometry and Semiflows in P/T Nets. A Comparative Study of Algorithms for Computation of Minimal P-Semiflows. 1989.

• Colom, J.M.; Silva, M.:
  Improving the Linearly Based Characterization of P/T Nets. 1989.

• Esparza, Javier; Silva, Manuel:
  Circuits, Handles, Bridges and Nets. 1989.

• Campos, J.; Silva, M.:
  Steady-State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. 1989.

• Murata, Tadao; Silva, M.:
  Fair Control of Discrete Event Systems Via Petri Nets. 1989.

• Campos, J.; Chiola, G.; Colom, J.M.; Silva, M.:
  Tight Polynomial Bounds for Steady-State Performance of Marked Graphs. 1989.

• Campos, J.; Chiola, G.; Silva, M.:
  Properties and Steady-State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. 1989.

• Esparza, J.; Best, E.; Silva, M.:
  Minimal Deadlocks in Free Choice Nets. 1989.

• Esparza, J.; Silva, M.:
  A Polynomial-Time Algorithm to Decide Liveness of Bounded Free Choice Nets. 1989.

• Villarroel, J.L.; Martinez, J.; Silva, M.:
  Graphic Design of Coordination Level in Production Systems. 1989.

• Leu, D.J.; Silva, M.; Colom, J.M.; Murata, Tadao:
  Interrelationships among Various Concepts of Fairness for Petri Nets. 1988.

• Martinez, J.; Muro, P.R.; Silva, M.; Smith, F.S.; Villarroel, J.L.:
  Merging Artificial Intelligence Techniques and Petri Nets Real Time for Scheduling and Control of Production System. 1988.

• Silva, M.; Colom, J.M.:
  On the Computation of Structural Synchronic Invariants in P/T Nets. 1988.

• Silva, M.; Colom, J.M.:
  On the computation of structural synchronic invariants in P/T nets. 1988.

• Velilla, S.; Silva, M.:
  Spy: A Mechanism for Safe Implementation of Highly Concurrent Systems. 1988.

• Silva, M.; Colom, J.M.:
  On the structural computation of synchronic invariants in P/T nets. 1987.

• Colom, J.M.; Martínez, J.; Silva, M.:
  Packages for validating discrete production systems modeled with Petri nets. 1986.

• Colom, J.M.; Silva, M.; Villarroel, J.L.:
  On software implementation of Petri Nets and Colored Petri Nets using high-level concurrent languages. 1986.

• Martinez, J.; Silva, M.:
  A Language of Description of Concurrent Systems modeled by Petri Nets: Application to the Control of Flexible Manufactoring Systems. 1985.

• Martínez, J.; Colom, J.M.; Silva, M.:
  Análisis de programas concurrentes mediante Redes de Petri. 1985.

• Silva, M.:
  Las Redes de Petri: en la Automática y la Informática. 1985.

Back to the Petri Nets Bibliography