Publications
] Filters: Author is M. Silva [Clear All Filters]
[RP-85-11] .
1985. Error detection and correction on Petri net models of discrete control systems. :921-924.
[RP-84-05] .
1984. Hacia la definición de un sistema de programación y control de robots. :139-146.
[RP-84-06] .
1984. Especificación y validación del control de sistemas flexibles de fabricación. :235-242.
[RP-84-07] .
1984. Diseño de un controlador tiempo real seguro de funcionamiento. :303-310.
[RP-84-08] .
1984. Detección y corrección de errores mediante la codificación de redes de Petri. :491-500.
[RP-84-09] .
1984. A language for the description of concurrent sytems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems. :72-77.
[RP-84-01] .
1984. Automática en la Industria (Proceedings Simposium Nacional IFAC).
[RP-84-02] .
1984. Lenguajes de programación para robots industriales (Parte II). :39-53.
[RP-84-03] .
1984. A robot programming and control system. :92-97.
[RP-84-04] .
1984. Modelling and validation of complex systems by coloured Petri nets. Application to a flexible manufacturing system. :122-140.
[RP-83-05] .
1983. Sistema manipulador-visión: Aplicaciones no convencionales. :11-28.
[RP-83-06] .
1983. La enseñanza de la Informática en la E.T.S. Ingenieros Industriales de la Universidad de Zaragoza. :165-186.
[RP-83-07] .
1983. Un plan de prácticas de sistemas de control muestreados. :279-295.
[RP-83-03] .
1983. Lenguajes de Programación para el Control de Procesos Industriales. :127-137.
[RP-83-01] .
1983. A package for computer design of concurrent logic control systems. :243-248.
[RP-83-02] .
1983. Programmable logic controllers and Petri nets: A comparative study. :83-88.
[RP-83-04] .
1983. Lenguajes de programación para robots industriales (Parte I). :35-48.
[RP-82-01] .
1982. Realización cableada de redes de Petri binarias. 6:151-155.
[RP-82-03] .
1982. Sobre la obtención del conjunto de componentes elementales de una RdPG. 6:155-160.
[RP-82-06] .
1982. A package for computer design of concurrent logic control systems. :221-226.
[RP-82-07] .
1982. Programmable logic controllers and Petri nets: A comparative study. :29-34.
[RP-82-05] .
1982. Sistemas concurrentes descritos con RdP: Validación asistida por computador. :126-134.
[RP-82-02] .
1982. A simple and fast algorithm to obtain all invariants of a generalized Petri net. :301-310.
[RP-82-04] .
1982. Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales. :51-57.
[RP-81-07] .
1981. A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.
