Silva Suarez, M.

• Martinez, J.; Muro, P.; Silva Suarez, M.:
  Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. 1987.

• Silva Suarez, M.:
  Towards a Synchrony Theory for P/T Nets. 1987.

• Silva Suarez, M.; Murata, Tadao:
  On Synchronic-Distance and B-Fair Relations for Petri Nets. 1987.

• Colom, J.M.; Martinez, J.; Silva Suarez, M.:
  Packages for Validating Discrete Production Systems Modeled with Petri Nets. 1986.

• Colom, J.M.; Silva Suarez, M.; Villaroel, J.L.:
  On Software Implementation of Petri Nets and Coloured Petri Nets Using High Level Concurrent Languages. 1986.

• Leu, D.J.; Murata, Tadao; Silva Suarez, M.:
  Maximum Firing Deviation and Fair Relations in Petri Nets. 1986.

• Martinez, J.; Alla, H.; Silva Suarez, M.:
  Petri Nets for the Specification of Flexible Manufacturing Systems. 1986.

• Silva Suarez, M.; Martinez, J.:
  A Software Environment for Designing with Colored Petri Nets and their Implementation. Application to Flexible Manufacturing Systems. 1986.

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

• Martinez, J.; Silva Suarez, M.:
  New Methods for Specifying Controls of FMS. 1986.

• Alla, H.; Ladet, P.; Martinez, J.; Silva Suarez, M.:
  Modelling and Validation of Complex Systems by Coloured Petri Nets; Application to a Flexible Manufacturing System. 1985.

• Martinez, J.; Colom, J.M.; Silva Suarez, M.:
  Analisis de Programas Concurrentes Mediante Redes de Petri. 1985.

• Silva Suarez, M.:
  Las Redes de Petri: en la Automatica y la Informatica. 1985.

• Silva Suarez, M.; Martinez, J.; Ladet, P.; Alla, H.:
  Generalized Inverses and the Calculation of Symbolic Invariants for Colored Petri Nets. 1985.

• Silva Suarez, M.; Velilla, S.:
  Error Detection and Correction on Petri Net Models of Discrete Events Control Systems. 1985.

• Martinez, J.; Silva Suarez, M.:
  A Language for the Description of Concurrent Systems Modelled by Coloured Petri Nets: Application to the Control of Flexible Manufacturing Systems. 1984.

• Martinez, J.; Silva Suarez, M.:
  Especificacion y Validacion del Control de Sistemas de Fabricacion Flexible. 1984.

• Silva Suarez, M.; Velilla, S.:
  Deteccion y Correccion de Errores mediante la Codificacion de Redes de Petri. 1984.

• Silva Suarez, M.; Velilla, S.:
  Diseno de un Controlador Tiempo real Seguro de Funcionamiento. 1984.

• Martinez, J.; Silva Suarez, M.:
  A Package for Computer Design of Concurrent Logic Control Systems. 1983.

• Martinez, J.; Silva Suarez, M.:
  A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net. 1982.

• Silva Suarez, M.; Velilla, S.:
  Programmable Logic Controllers and Petri Nets: A Comparative Study. 1982.

• Martinez, J.; Silva Suarez, M.:
  Sobre la Obtencion del Conjunto de Componentes Elementales de una RdPG. 1982.

• Martinez, J.; Silva Suarez, M.; Velilla, S.:
  Realizacion Cableada de RdP Binarias. 1982.

• Martinez, J.; Silva Suarez, M.; Velilla, S.:
  Componentes Conservativas Elementales y Realizacion Microprogramada de una RdP Conforme. 1981.

• Martinez, J.; Silva Suarez, M.; Velilla, S.:
  Realizacion Cableada de RdP: Un Equipo para Practicas. 1981.

• Silva Suarez, M.:
  Sur le Concept de Macroplace et son Utilisation pour l'Analyse des Reseaux de Petri. 1981.

• Silva Suarez, M.:
  Simplification des Reseaux de Petri par Elimination des Places Implicites. 1980.

• Silva Suarez, M.:
  Evaluation des Performances des Applications Temps Reel de Type Logique. 1979.

• Silva Suarez, M.; David, R.:
  Synthese Programmee des Automatismes Logiques Decrits par Reseaux de Petri: Une Methode de Mise en Oeuvre sur Microcalculateur. 1979.

• Moalla, M.; Sifakis, J.; Silva Suarez, M.:
  A la Recherche d'une Methodologie de Conception sur des Automatismes Logiques Basee sur l'Utilisation des Reseaux de Petri. 1978.

• Silva Suarez, M.; David, R.:
  On the Programmation of Asynchronous Sequential Systems by Logic Equations. 1977.

Back to the Petri Nets Bibliography