Home

Contact Info

Manuel Silva


email	silva/at/unizar.es
Homepage
position	Ph.D. Member
phone	(+34) 976761952
fax
office

Publications (ordered by date)

Piecewise-linear constrained control for timed continuous petri nets

C. R. Vazquez, M. Silva, 2009.

[BibTeX]

Hybrid Approximations of Markovian Petri Nets

C. R. Vazquez, M. Silva, 2009.

[BibTeX]

Performance control of markovian petri nets via fluid models: A stock-level control example

C. R. Vazquez, M. Silva, 2009.

[BibTeX]

Fault diagnoser design for untimed continuous Petri nets

C. Seatzu and C. Mahulea and M. P. Cabasino and M. Silva, 2009.

[BibTeX]

Basic Server Semantics and Performance Monotonicity of Continuous Petri Nets

C. Mahulea and L. Recalde and M. Silva, 2009.

[BibTeX]

Observer Design for Untimed Continuous Petri Nets

C. Mahulea and C. Seatzu and M. P. Cabasino and L. Recalde and M. Silva, 2009.

[BibTeX]

Continuous and Hybrid Petri Nets: The GISED perspective

Manuel Silva, 2009.

[BibTeX]

Formal analysis of timed continuous Petri net

M. Kloetzer and C. Mahulea and C. Belta and L. Recalde and M. Silva, 2008.

[BibTeX]

Stochastic-Continuous State Approximation of Markovian Petri Net Systems

C.R. Vázquez and L. Recalde and M. Silva, 2008.

[BibTeX]

Optimal model predictive control of Timed Continuous Petri nets

C. Mahulea and A. Giua and L. Recalde and C. Seatzu and M. Silva, 2008.

[BibTeX]

Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems

C. Mahulea and L. Recalde and M. Silva, 2008.

[BibTeX]

Timing and Deadlock-freeness in Continuous Petri Nets

C.R. Vázquez and A.M. Mangini and A. Mihalache and L.Recalde and M. Silva and , 2008.

[BibTeX]

On Controllability of Timed Continuous Petri Nets

C.R. Vázquez and A. Ramírez and L. Recalde and M. Silva, 2008.

[BibTeX]

Properties of continuous Petri nets controlled via model predictive control

A. Giua and C. Mahulea and L. Recalde and C. Seatzu and M. Silva, 2008.

[BibTeX]

Steady state control reference and token conservation laws in continuous Petri net systems

C. Mahulea and A. Ramirez and L. Recalde and M. Silva, 2008.

[BibTeX]

Optimal model predictive control of Timed Continuous Petri nets

C. Mahulea and A. Giua and L. Recalde and C. Seatzu and M. Silva, 2008.

[BibTeX]

State Estimation of Petri Nets by Transformation

M.P. Cabasino and A. Giua and C. Mahulea and L. Recalde and C. Seatzu and M. Silva, 2007.

[BibTeX]

Approximate Throughput Computation of Stochastic Weighted T-Systems

C. Pérez-Jiménez and J. Campos and M. Silva, 2007.

[BibTeX]

Continuous Petri Nets: Expressive Power and Decidability Issues

L. Recalde and S. Haddad and M. Silva, 2007.

[BibTeX]

Improving analysis and simulation of continuous Petri Nets

L. Recalde and C. Mahulea and M. Silva, 2006.

[BibTeX]

Optimal control of timed continuous Petri nets via explicit MPC

A. Giua and C. Mahulea and L. Recalde and C. Seatzu and M. Silva, 2006.

[BibTeX]

On performance monotonicity and basic servers semantics of continuous Petri nets

C. Mahulea and L. Recalde and M. Silva, 2006.

[BibTeX]

Optimal control of continuous Petri nets via model predictive control

A. Giua and C. Mahulea and L. Recalde and C. Seatzu and M. Silva, 2006.

[BibTeX]

On sampling continuous timed Petri nets: reachability "equivalence" under infinite servers semantics

C. Mahulea and A. Giua and L. Recalde and C. Seatzu and M. Silva, 2006.

[BibTeX]

On the Computational Power of Timed Differentiable Petri Nets

S. Haddad and L. Recalde and M. Silva, 2006.

[BibTeX]

Tracking control of join-free timed continuous Petri net systems

J. Xu and L. Recalde and M. Silva, 2006.

[BibTeX]

Deadlock-freeness analysis of continuous mono-T-semiflow Petri nets

J. Julvez and L. Recalde and M. Silva, 2006.

[BibTeX]

Optimal Observability for Continuous Petri Nets

C. Mahulea and L. Recalde and M. Silva, 2005.

[BibTeX]

Approximate Throughput Computation of Stochastic Weighted T-Systems

C. Pérez-Jiménez and J. Campos and M. Silva, 2005.

[BibTeX]

Steady state control, zero valued poles and token conservation laws in continuous net systems

C. Mahulea and A. Ramirez and L. Recalde and M. Silva, 2005.

[BibTeX]

On Controllability of Timed Continuous Petri Net Systems: the Join Free Case

E. Jiménez and J. Júlvez and L. Recalde and M. Silva, 2005.

[BibTeX]

Steady-state performance evaluation of continuous mono-T-semiflow Petri nets

J. Júlvez and L. Recalde and M. Silva, 2005.

[BibTeX]

Continuization of Timed Petri Nets: From Performance Evaluation to Observation and Control

M. Silva and L. Recalde, 2005.

[BibTeX]

Product-form and stochastic Petri nets: a structural approach

P. Moreaux and S. Haddad and M. Sereno and M. Silva, 2005.

[BibTeX]

Two Heuristics for the Improvement of a Two-Phase Optimization Method for Manufacturing Systems

Rodríguez, D. and Zimmermann, A. and Silva, M., 2004.

[BibTeX]

On Observability in Timed Continuous Petri Net Systems

J. Julvez and E. Jimenez and L. Recalde and M. Silva, 2004.

[BibTeX]

Petri nets and manufacturing systems: An examples-driven tour

L. Recalde and M. Silva and J. Ezpeleta and E. Teruel, 2004.

[BibTeX]

Design of Observers for Timed Continuous Petri Net Systems

J. Júlvez and E. Jiménez and L. Recalde and M. Silva, 2004.

[BibTeX]

Event-driven optimal control of continuous Petri nets

J. Júlvez and A. Bemporad and L. Recalde and M. Silva, 2004.

[BibTeX]

On fluidification of Petri net models: from discrete to hybrid and continuous models

M. Silva and L. Recalde, 2004.

[BibTeX]

Relaxed Continuous Views of Discrete Event Systems: considerations in Forrester Diagrams and Petri Nets

E. Jiménez and J. Júlvez and L. Recalde and M. Silva, 2004.

[BibTeX]

On fluidification of Petri net models: from discrete to hybrid and continuous models

M. Silva and L. Recalde, 2003.

[BibTeX]

Unforced Continuous Petri Nets and Positive Systems

M. Silva and L. Recalde, 2003.

[BibTeX]

On reachability in autonomous continuous Petri net systems

J. Júlvez and L. Recalde and M. Silva, 2003.

[BibTeX]

Steady State Performance evaluation for some continuous Petri nets

L. Recalde and J. Júlvez and M. Silva, 2002.

[BibTeX]

On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets

J. Júlvez and L. Recalde and M. Silva, 2002.

[BibTeX]

Petri nets and integrality relaxations A view of continuous Petri nets

M. Silva and L. Recalde, 2002.

[BibTeX]

A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems

Zimmermann A. and Rodríguez D. and Silva M., 2001.

[BibTeX]

A Comparison of the Expressiveness of SPA and Bounded SPN models

J. Hillston and L. Recalde and M. Ribaudo and M. Silva, 2001.

[BibTeX]

Ein effizientes Optimierungsverfahren für Petri Netz Modelle von Fertigungssystemen

Zimmermann A. and Rodríguez D. and Silva M., 2001.

[BibTeX]

Structure Theory of Multi Level Deterministically Synchronized Sequential Processes

L. Recalde and E. Teruel and M. Silva, 2001.

[BibTeX]

Forrester Diagrams and Continuous Petri Nets A Comparative View

E. Jiménez and L. Recalde and M. Silva, 2001.

[BibTeX]

Petri Nets fluidification revisited Semantics and steady state

L. Recalde and M. Silva, 2001.

[BibTeX]

Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets

P. Moreaux and S. Haddad and M. Sereno and M. Silva, 2001.

[BibTeX]

A Two Phase Optimisation Strategy for DEDS Application to Manufacturing Systems

Zimmermann A. and Rodríguez D. and Silva M., 2000.

[BibTeX]

Closed Loop live Petri Net Supervisors for Generalized Mutual Exclusion Constraints

F. Basile and L. Recalde and P. Chiacchio and M. Silva, 2000.

[BibTeX]

Modelling and Optimization of Manufacturing Systems Petri Nets and Simulated Annealing

Zimmermann A. and Rodríguez D. and Silva M., 1999.

[BibTeX]

Structured Solution of Asynchronously Communicating Stochastic Modules

Campos J. and Donatelli S. and Silva M., 1999.

[BibTeX]

Autonomous Continuous PT systems

L. Recalde and E. Teruel and M. Silva, 1999.

[BibTeX]

Introduction to Net Driven Decomposition Techniques

Silva M. and Campos J., 1998.

[BibTeX]

Performance Evaluation of DEDS with Conflicts and Synchronizations Net Driven Decomposition Techniques

Silva M. and Campos J., 1998.

[BibTeX]

Modeling and Analysis of Sequential Processes that Cooperate through Buffers

L. Recalde and E. Teruel and M. Silva, 1998.

[BibTeX]

On Linear Algebraic Techniques for Liveness Analysis of PT Systems

L. Recalde and E. Teruel and M. Silva, 1998.

[BibTeX]

Linear algebraic and linear programming techniques for the analysis of P/T net systems

M. Silva and E. Teruel and J.M. Colom, 1998.

[BibTeX]

Structured Solution of Stochastic DSSP Systems

Campos J. and Donatelli S. and Silva M., 1997.

[BibTeX]

Throughput Approximation of Decision Free Processes Using Decomposition

V. Mertsiotakis and M. Silva, 1997.

[BibTeX]

Choice free Petri Nets A Model for Deterministic Concurrent Systems with Bulk Services and Arrivals

E. Teruel and J. M. Colom and M. Silva, 1997.

[BibTeX]

On Approximate Performance Evaluation of Manufacturing Systems Modelled with Weighted T Systems

Pérez-Jiménez C. J. and Campos J. and Silva M., 1996.

[BibTeX]

A Throughtput Approximation Algorithm for Decision Free Processes

Vassilis Mertsiotakis and Manuel Silva, 1996.

[BibTeX]

Approximate Throughput Computation of a Class of Cooperating Sequential Processes

Pérez-Jiménez C. J. and Campos J. and Silva M., 1996.

[BibTeX]

State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes

Pérez-Jiménez C. J. and Campos J. and Silva M., 1996.

[BibTeX]

Petri Nets for the Design and Operation of Manufacturing Systems

M. Silva and E. Teruel, 1996.

[BibTeX]

Structure Theory of Equal Conflict Systems

E. Teruel and M. Silva, 1996.

[BibTeX]

SCECS A Class of Modular and Hierarchical Cooperating Systems

L. Recalde and E. Teruel and M. Silva, 1996.

[BibTeX]

On Approximate Throughput Computation of Deterministic Systems of Sequential Processes

Pérez-Jiménez C. J. and Campos J. and Silva M., 1995.

[BibTeX]

Structural Performance Analysis of Stochastic Petri Nets

Silva M. and Campos J., 1995.

[BibTeX]

Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds

Chiola G. and Anglano C. and Campos J. and Colom J. M. and Silva M., 1995.

[BibTeX]

Approximate Throughput Computation of Stochastic Marked Graphs

Campos J. and Colom J. M. and Jungnitz H. and Silva M., 1995.

[BibTeX]

Functional and Performance Analysis of Cooperating Sequential Processes

Teruel E. and Silva M. and Colom J. M. and Campos J., 1995.

[BibTeX]

Simulation of Petri nets and linear enabling functions

J.L. Briz, J.M. Colom and M. Silva, 1994.

[BibTeX]

Approximate Throughput Computation of Stochastic Marked Graphs

Campos J. and Colom J. M. and Jungnitz H. and Silva M., 1994.

[BibTeX]

Modelling and Analysis of Deteministic Concurrent Systems with Bulk Services and Arrivals

E. Teruel and J. M. Colom and M. Silva, 1994.

[BibTeX]

Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds

Chiola G. and Anglano C. and Campos J. and Colom J. M. and Silva M., 1994.

[BibTeX]

A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs

Campos J. and Colom J. M. and Jungnitz H. and Silva M., 1994.

[BibTeX]

Functional and Performance Analysis of Cooperating Sequential Processes

Campos J. and Colom J. M. and Silva M. and Teruel E., 1994.

[BibTeX]

Functional and Performance Analysis of Cooperating Sequential Processes

Teruel E. and Silva M. and Colom J. M. and Campos J., 1994.

[BibTeX]

Operational Analysis of Timed Petri Nets and Application to the Computation of Performance Bounds

Chiola G. and Anglano C. and Campos J. and Colom J. M. and Silva M., 1993.

[BibTeX]

A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs

Campos J. and Colom J. M. and Jungnitz H. and Silva M., 1993.

[BibTeX]

Operational Analysis of Timed Petri Nets

Chiola G. and Campos J. and Colom J. M. and Silva M., 1993.

[BibTeX]

Petri Nets applied to the modelling and analysis of computer architecture problems

M. Silva and J.M. Colom, 1993.

[BibTeX]

Modular composition of intelligent control policies for FMS models

A. Ramírez, P. Muro and M. Silva, 1993.

[BibTeX]

Embedded Product Form Queueing Networks and the Improvement of Performance Bounds for Petri Net Systems

Campos J. and Silva M., 1993.

[BibTeX]

Interleaving functional and performance structural analysis of Net models

M. Silva, 1993.

[BibTeX]

On Optimal Scheduling in DEDS

Ramirez A. and Campos J. and Silva M., 1993.

[BibTeX]

Performance Models Based on Petri Nets

Silva M. and Campos J., 1993.

[BibTeX]

Qualitative analysis of periodic schedules for deterministically timed Petri net systems

K. Onaga, M. Silva and T. Watanabe, 1993.

[BibTeX]

Linear Analysis of Deadlock Freeness of Petri Net Models

E. Teruel and J. M. Colom and M. Silva, 1993.

[BibTeX]

The Timed Coloured Petri Net Formalism Position Paper

Balbo G. and Silva M. and Chiola G. and Campos J. and others, 1993.

[BibTeX]

A new technique for finding a generating family of siphons, traps and st-components

J. Ezpeleta, J.M. Couvreur and M. Silva, 1993.

[BibTeX]

Introducing Petri Nets

F. Dicesare, G. Harhalakis, J.M. Proth, M. Silva and F. Vernadat, 1993.

[BibTeX]

Scheduling en celdas autónomas de ensamblaje basado en un algoritmo de tiempo mínimo en RdP

A. Ramírez, J.L. Villarroel, M. Silva and P.R. Muro, 1992.

[BibTeX]

B-Fairness and Structural B-Fairness in Petri Net Models of Concurrent Systems

M. Silva and T. Murata, 1992.

[BibTeX]

Approximate throughput computation of stochastic marked graphs

H. Jungnitz, B. Sánchez and M. Silva, 1992.

[BibTeX]

Properties and Performance Bounds for Timed Marked Graphs

Campos J. and Chiola G. and Colom J. M. and Silva M., 1992.

[BibTeX]

Petri nets in a knowledge representation schema for the coordination of plant elements

J.L. Villarroel, M. Silva and P. Muro, 1992.

[BibTeX]

Response time approximation for the performance analysis of manufacturing systems modeled with stochastic marked graphs

H. Jungnitz, B. Sánchez and M. Silva, 1992.

[BibTeX]

An aproximation method for the performance analysis of manufacturing systems based on GSPNs

A. Desrochers, H. Jungnitz and M. Silva, 1992.

[BibTeX]

Improving Throughput Upper Bounds for Net Based Models of Manufacturing Systems

Campos J. and Colom J. M. and Silva M., 1992.

[BibTeX]

Structural Techniques and Performance Bounds of Stochastic Petri Net Models

Campos J. and Silva M., 1992.

[BibTeX]

Linear Algebraic Techniques for the Analysis of Petri Nets

Silva M. and Colom J. M. and Campos J., 1992.

[BibTeX]

A polynomial-time algorithm to decide liveness of bounded free choice nets

J. Esparza and M. Silva, 1992.

[BibTeX]

Properties and Performance Bounds for Closed Free Choice Synchronized Monoclass Queueing Networks

Campos J. and Chiola G. and Silva M., 1991.

[BibTeX]

Throughput Upper Bounds for Markovian Petri Nets Embedded Subnets and Queueing Networks

Campos J. and Silva M., 1991.

[BibTeX]

Throughput Lower Bounds for Markovian Petri Nets Transformation Techniques

Campos J. and Sánchez B. and Silva M., 1991.

[BibTeX]

On periodic schedules for deterministically timed Petri nets systems

K. Onaga, M. Silva and T. Watanabe, 1991.

[BibTeX]

Convex Geometry and Semiflows in P/T nets. A Comparative Study of Algorithms for Computation of Minimal P-semiflows

J.M. Colom and M. Silva, 1991.

[BibTeX]

Improving the linearly based characterization of P/T nets

J.M. Colom and M. Silva, 1991.

[BibTeX]

On the Analysis and Synthesis of Free Choice Systems

J. Esparza and M. Silva, 1991.

[BibTeX]

Linear Algebraic Techniques for the Analysis of Petri Nets

Silva M. and Colom J. M. and Campos J., 1991.

[BibTeX]

Improving Throughput Upper Bounds for Net Based Models

Campos J. and Colom J. M. and Silva M., 1991.

[BibTeX]

Ergodicity and Throughput Bounds of Petri Nets with Unique Consistent Firing Count Vector

Campos J. and Chiola G. and Silva M., 1991.

[BibTeX]

Circuits, handles, bridges and nets

J. Esparza and M. Silva, 1991.

[BibTeX]

Top-down synthesis of live and bounded free choice nets

J. Esparza and M. Silva, 1991.

[BibTeX]

Compositional synthesis of live and bounded free-choice nets

J. Esparza and M. Silva, 1991.

[BibTeX]

Modelling, validation and software implementation of production systems using high-level Petri nets

J. Martínez, P.R. Muro and M. Silva, 1991.

[BibTeX]

A Rede de Petri: Una Ferramenta para la Automaçao Fabril

R. Valette and M. Silva, 1990.

[BibTeX]

On liveness analysis through linear algebraic techniques

Colom J. M. and Campos J. and Silva M., 1990.

[BibTeX]

Top-down synthesis of live & bounded Free Choice Nets

J. Esparza and M. Silva, 1990.

[BibTeX]

A first collection of challenging problems: A flexible manufacturing system

J.M. Colom, J. Esparza, J. Martínez and M. Silva, 1990.

[BibTeX]

Performance Evaluation of Repetitive Automated Manufacturing Systems

Campos J. and Colom J. M. and Silva M., 1990.

[BibTeX]

Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes

Campos J. and Silva M., 1990.

[BibTeX]

On the analysis and synthesis of free choice nets

J. Esparza and M. Silva, 1990.

[BibTeX]

Minimal Deadlocks in Free Choice nets

J. Esparza, E. Best and M. Silva, 1990.

[BibTeX]

Modular Synthesis of Free Choice Nets

J. Esparza and M. Silva, 1990.

[BibTeX]

A polynomial-time algorithm to decide liveness of bounded free choice nets

J. Esparza and M. Silva, 1990.

[BibTeX]

Petri Nets and Flexible Manufacturing

M. Silva and R. Valette, 1990.

[BibTeX]

Petri-Net Based Fairness Concepts for Discrete Event Systems

T. Murata and M. Silva, 1990.

[BibTeX]

Tight Polynomial Bounds for Steady State Performance of Marked Graphs

Campos J. and Chiola G. and Colom J. M. and Silva M., 1989.

[BibTeX]

Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector

Campos J. and Chiola G. and Silva M., 1989.

[BibTeX]

Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes

Campos J. and Silva M., 1989.

[BibTeX]

Logical controllers

M. Silva, 1989.

[BibTeX]

Multisensor Object Recognition using an Hypothesis-Verification Scheme

J.D. Tardós and M. Silva, 1989.

[BibTeX]

A knowledge representation environment for manufacturing control systems design and prototyping

P. Muro , J.L. Villarroel, J. Martínez and M. Silva, 1989.

[BibTeX]

Fair control of discrete event systems via Petri nets

T. Murata and M. Silva, 1989.

[BibTeX]

Improving the linearly based characterization of P/T nets

J.M. Colom and M. Silva, 1989.

[BibTeX]

Convex geometry and semiflows in P/T nets. A comparative study of algorithms for computation of minimal p-semiflows

J.M. Colom and M. Silva, 1989.

[BibTeX]

Petri Nets and Flexible Manufacturing

M. Silva and R. Valette, 1989.

[BibTeX]

The Spy: A mechanism for safe implementation of highly concurrent systems

S. Velilla and M. Silva, 1989.

[BibTeX]

Circuits, handles, bridges and nets

J. Esparza and M. Silva, 1989.

[BibTeX]

Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems

J. Martínez, P.R. Muro, M. Silva, S.F. Smith and J.L. Villarroel, 1989.

[BibTeX]

GRAMAN: a graphic system for manufacturing system design

J.L. Villarroel, J. Martínez and M. Silva, 1989.

[BibTeX]

Merging Artificial Intelligence Techniques and Petri nets for Time Scheduling and Control of Production Systems

J. Martínez, P.R. Muro, M. Silva, S.F. Smith and J.L. Villarroel, 1989.

[BibTeX]

GRAMAN: A Graphic System for Manufacturing System Design

J.L. Villarroel, J. Martínez and M. Silva, 1988.

[BibTeX]

Interrelationships among various concepts of fairness for Petri nets

D. Leu , M. Silva, J.M. Colom and T. Murata, 1988.

[BibTeX]

Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems

J. Martínez, P.R. Muro, M. Silva, S.F. Smith and J.L. Villarroel, 1988.

[BibTeX]

The spy: a mechanism for safe implementation of highly concurrent systems

S. Velilla and M. Silva, 1988.

[BibTeX]

On the Computation of Structural Synchronic Invariants in P/T Nets

M.Silva and J.M.Colom, 1988.

[BibTeX]

Sistemas modernos de programación de robots

L. Montano and M. Silva, 1987.

[BibTeX]

On synchonic distance and B-fair relations for Petri nets

M. Silva and T. Murata, 1987.

[BibTeX]

On the structural computation of synchronic invariants in P/T nets

M. Silva and J.M. Colom, 1987.

[BibTeX]

Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets

J. Martínez, P. Muro and M. Silva, 1987.

[BibTeX]

Introducción a los Robots Industriales y sus aplicaciones

M. Silva, 1987.

[BibTeX]

Packages for validating discrete production systems modelled with Petri nets

J.M. Colom, J. Martínez and M. Silva, 1987.

[BibTeX]

Aproximación a los robots inteligentes

J.D. Tardós and M. Silva, 1987.

[BibTeX]

Towards a Synchrony Theory for P/T Nets

M. Silva, 1987.

[BibTeX]

On software implementation of Petri nets and colored Petri nets using high-level concurrent languages

J.M. Colom, M. Silva and J.L. Villarroel, 1986.

[BibTeX]

Packages for validating discrete production systems modeled with Petri nets

J.M. Colom, J. Martínez and M. Silva, 1986.

[BibTeX]

Maximun firing deviation and fair relations in Petri nets

Di-Jen Leu, T. Murata and M. Silva, 1986.

[BibTeX]

A software environment for systems design with HLPN and their implementations

M. Silva and J. Martínez, 1986.

[BibTeX]

Terminal controllers for robots: Shooting and optimal control

M. Silva, L. Montano and P. Pardos, 1986.

[BibTeX]

Diseño de un sistema didáctico de programación y control

J.D. Tardós, J.L. Villarroel and M. Silva, 1986.

[BibTeX]

Nuevos métodos para la especificación del control de sistemas flexibles de fabricación

J. Martínez and M. Silva, 1986.

[BibTeX]

Petri nets for the specification of FMSs

J. Martínez, H. Alla and M. Silva, 1986.

[BibTeX]

La programación de los robots industriales. Sistemas CAD/CAM/CAE

M. Silva, 1986.

[BibTeX]

Robot programming and robot vision

M. Silva and A. Roy, 1986.

[BibTeX]

Specification de la Commande des Ateliers Flexibles à lAide de Réseaux de Petri Colorés

H. Alla , P. Ladet, F. Martín, J. Martínez and M. Silva, 1986.

[BibTeX]

Robot control using a Shooting Technique: The continuous case

M. Silva, P. Pardos and L. Montano, 1985.

[BibTeX]

Análisis de programas concurrentes mediante Redes de Petri

J. Martínez, J.M. Colom and M. Silva, 1985.

[BibTeX]

M. Silva, J. Martínez and J.M. Colom, 1985.

[BibTeX]

Sistema de programación y control de robots con visión artificial

J.D. Tardós, J.L. Villarroel and M. Silva, 1985.

[BibTeX]

Generalized Inverses and the Calculation of Symbolic Invariants for Colored Petri Nets

M. Silva, J. Martínez, H. Alla and P. Ladet, 1985.

[BibTeX]

Las redes de Petri en la Automática y la Informática

M. Silva, 1985.

[BibTeX]

Inteligencia Artificial y Robótica Industrial

M. Silva and A. Roy (eds.), 1985.

[BibTeX]

Binary-decision graphs for implementation of boolean functions

M. Silva and R. David, 1985.

[BibTeX]

Lenguajes para la programación de robots industriales

M. Silva, 1985.

[BibTeX]

Modelling and Validation of Complex Systems modeled by Colored Petri Nets

H. Alla, P. Ladet, J. Martínez and M. Silva, 1985.

[BibTeX]

A language for the description of Concurrent Systems Modeled by Colored Petri nets. Application to the Control of Flexible Manufacturing Systems

J. Martínez and M. Silva, 1985.

[BibTeX]

Tolerancia a fallos en aplicaciones tiempo real

M. Silva, 1985.

[BibTeX]

Error detection and correction on Petri net models of discrete control systems

M. Silva and S. Velilla, 1985.

[BibTeX]

Hacia la definición de un sistema de programación y control de robots

L. Montano, P. Pardos and M. Silva, 1984.

[BibTeX]

Especificación y validación del control de sistemas flexibles de fabricación

J. Martínez and M. Silva, 1984.

[BibTeX]

Diseño de un controlador tiempo real seguro de funcionamiento

S. Velilla and M. Silva, 1984.

[BibTeX]

Detección y corrección de errores mediante la codificación de redes de Petri

M. Silva and S. Velilla, 1984.

[BibTeX]

A language for the description of concurrent sytems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems

J. Martínez and M. Silva, 1984.

[BibTeX]

Automática en la Industria (Proceedings Simposium Nacional IFAC)

M. Silva (ed.), 1984.

[BibTeX]

Lenguajes de programación para robots industriales (Parte II)

M. Silva, 1984.

[BibTeX]

A robot programming and control system

L. Montano, P. Pardos and M. Silva, 1984.

[BibTeX]

Modelling and validation of complex systems by coloured Petri nets. Application to a flexible manufacturing system

H. Alla, P. Ladet , J. Martínez and M. Silva, 1984.

[BibTeX]

Lenguajes de Programación para el Control de Procesos Industriales

J. Martínez and M. Silva, 1983.

[BibTeX]

Sistema manipulador-visión: Aplicaciones no convencionales

J. Martínez, M. Silva and S. Velilla, 1983.

[BibTeX]

La enseñanza de la Informática en la E.T.S. Ingenieros Industriales de la Universidad de Zaragoza

M. Silva, 1983.

[BibTeX]

Un plan de prácticas de sistemas de control muestreados

L. Montano, P. Pardos and M. Silva, 1983.

[BibTeX]

A package for computer design of concurrent logic control systems

J. Martínez and M. Silva, 1983.

[BibTeX]

Programmable logic controllers and Petri nets: A comparative study

M. Silva and S. Velilla, 1983.

[BibTeX]

Lenguajes de programación para robots industriales (Parte I)

M. Silva, 1983.

[BibTeX]

A package for computer design of concurrent logic control systems

J. Martínez and M. Silva, 1982.

[BibTeX]

Programmable logic controllers and Petri nets: A comparative study

M. Silva and S.Velilla, 1982.

[BibTeX]

Realización cableada de redes de Petri binarias

J. Martínez, M. Silva and S. Velilla, 1982.

[BibTeX]

Sobre la obtención del conjunto de componentes elementales de una RdPG

J. Martínez, M. Silva and S. Velilla, 1982.

[BibTeX]

Sistemas concurrentes descritos con RdP: Validación asistida por computador

M. Silva, 1982.

[BibTeX]

A simple and fast algorithm to obtain all invariants of a generalized Petri net

J. Martínez and M. Silva, 1982.

[BibTeX]

Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales

M. Silva, 1982.

[BibTeX]

A simple and fast algorithm to obtain all invariants of a Generalised Petri Net

J. Martínez and M. Silva, 1981.

[BibTeX]

Sobre la obtención del conjunto de componentes elementales de una RdPG

J. Martinez and M. Silva, 1981.

[BibTeX]

Realización cableada de redes de Petri: Un equipo para prácticas

J. Martínez, M. Silva and S. Velilla, 1981.

[BibTeX]

Componentes conservativas elementales y realización microprogramada de una red de Petri conforme

J. Martínez, M. Silva and S. Velilla, 1981.

[BibTeX]

Realización cableada de redes de Petri binarias

J. Martínez, M. Silva and S. Velilla, 1981.

[BibTeX]

Sur le concept de macroplace et son utilisation pour lanalyse des réseaux de Petri

M. Silva, 1981.

[BibTeX]

A survey of Petri net related teaching and research in Spain

M. Silva, 1981.

[BibTeX]

Diseño de un modelo de instalación automática de fabricación construida con estructuras mecánicas programables y controlada por ordenador

M. Silva and al., 1980.

[BibTeX]

Redes de Petri y validación de sistemas con actividades concurrentes

M. Silva, 1980.

[BibTeX]

Traducción de expresiones lógicas: aplicación en autómatas programables y en la enseñanza

J. Martínez, S. Velilla and M. Silva, 1980.

[BibTeX]

Autómata programable multicomputador. Valoración de su capacidad de tratamiento

M. Silva, 1980.

[BibTeX]

Sistema especializado en la simulación de redes de Petri sanas

M. Silva and S. Velilla, 1980.

[BibTeX]

Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales

M. Silva, 1980.

[BibTeX]

Memoria de actividades del Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.

M. Silva, 1980.

[BibTeX]

Un plan de prácticas. Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.

M. Silva, 1980.

[BibTeX]

Simplification des réseaux de Petri par élimination des places implicites

M. Silva, 1980.

[BibTeX]

A la recherche dune métodologie de conception sure des automatismes logiques basée sur lutilisation des réseaux de Petri

M. Moalla, J. Sifakis and M. Silva, 1980.

[BibTeX]

Synthèse programmée des automatismes logiques décrits par réseaux de Petri: Une méthode de mise en oeuvre sur microcalculateurs

M. Silva and R. David, 1979.

[BibTeX]

Evaluación de funciones lógicas: Generación óptima de código a partir de un grafo de decisiones binarias

M. Silva, 1979.

[BibTeX]

Evaluation des performances des applications temps réel de type logique

M. Silva, 1979.

[BibTeX]

Liveness and Home States in Equal Conflict Systems

E. Teruel and M. Silva.

[BibTeX]

A Systems Theory Perspective of Discrete Event Dynamic Systems The Petri Net Paradigm

M. Silva and E. Teruel.

[BibTeX]

Petri Nets and Production Systems

M. Silva and E. Teruel and R. Valette and H. Pingaud.

[BibTeX]

Well-formedness of Equal Conflict Systems

E. Teruel and M. Silva.

[BibTeX]

On Weighted T-Systems

E. Teruel and P. Chrzastowski and J. M. Colom and M. Silva.

[BibTeX]

Analysis of Autonomous Petri Nets with Bulk Services and Arrivals

M. Silva and E. Teruel.

[BibTeX]

On the Computation of Structural Synchronic Invariants in P/T Nets

M. Silva and J. M. Colom.

[BibTeX]

Introducing Petri Nets

M. Silva.

[BibTeX]

Interleaving Functional and Performance Structural Analysis of Net Models

M. Silva.

[BibTeX]

Towards a Synchrony Theory for P/T Nets

M. Silva.

[BibTeX]

Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets

J. Martínez and P. Muro and M. Silva.

[BibTeX]

A New Technique for Finding a Generating Family of Siphons, Traps and ST-Components. Application to Coloured Petri Nets

J. Ezpeleta and J. M. Couvreur and M. Silva.

[BibTeX]

Top-Down Synthesis of Live and Bounded Free Choice Nets

J. Esparza and M. Silva.

[BibTeX]

Circuits, Handles, Bridges and Nets

J. Esparza and M. Silva.

[BibTeX]

On the Analysis and Synthesis of Free Choice Systems

J. Esparza and M. Silva.

[BibTeX]

Improving the Linearly Based Characterization of P/T Nets

J. M. Colom and M. Silva.

[BibTeX]

Convex Geometry and Semiflows in P/T Nets. A Comparative Study of Algorithms for Computation of Minimal P-Semiflows

J. M. Colom and M. Silva.

[BibTeX]

News in the Petri Nets World

February 9, 2010

Call for Papers: Second International Workshop on Abstractions for Petri Nets ...

February 8, 2010

Call for Papers: 6th International Workshop on Enterprise & Organizational ...

February 7, 2010

Final Call for Papers: 17th International Conference on Analytical and ...

CFPs on Distributed Systems : WikiCFP

CJACIS 2010 : Canadian Journal on Automation, Control and Intelligent Systems

Canadian Journal on Automation, Control and Intelligent Systems...

HPCS 2010 : 2010 International Conference on High Performance Computing Systems

2010 International Conference on High Performance Computing Systems [Orlando, ...

PDSCbook 2010 : Performance and Dependability in Service Computing: Concepts, Techniques and Research Directions

Performance and Dependability in Service Computing: Concepts, Techniques and ...