Martinez, J.

• Tricas, F.; Martinez, J.:
  Distributed control systems simulation using high level Petri nets. 1998.

• Ezpeleta, J.; Colom, J.M.; Martínez, J.:
  A Petri net based deadlock prevention policy for flexible manufacturing systems. 1995.

• Ezpeleta, J.; Colom, J.M.; Martínez, J.:
  A Petri net based deadlock prevention policy for flexible manufacturing systems. 1993.

• Ezpeleta, J.; Martínez, J.:
  Synthesis of Live Models for a Class of FMS. 1993.

• Ezpeleta, J.; Martínez, J.; Colom, J.M.:
  Synthesis of Live High Level Models for a Class of FMS. 1993.

• Couvreur, Jean Michel; Martínez, Javier:
  Linear Invariants in Commutative High Level Nets. 1989.

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

• 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.

• Martinez, J.; Muro, P.; Silva Suarez, M.:
  Modeling, Validation and Software Implementation of Production Systems Using High Level 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.; Martínez, J.; Silva, M.:
  Packages for validating discrete production systems modeled with 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.

• 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.

• 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 Suarez, M.; Martinez, J.; Ladet, P.; Alla, H.:
  Generalized Inverses and the Calculation of Symbolic Invariants for Colored Petri Nets. 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.

• 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.

• 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.

Back to the Petri Nets Bibliography