Publications
] Filters: First Letter Of Last Name is S [Clear All Filters]
[RP-86-05] .
1986. Robot programming and robot vision. :11-29.
[RP-86-09] .
1986. Specification de la Commande des Ateliers Flexibles à lAide de Réseaux de Petri Colorés. :85-96.
[RP-85-10] .
1985. Sistema de programación y control de robots con visión artificial. :66-69.
[975] .
1985. Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
[1343] .
1985. STAR: A Software Tool for Validating Concurrent Systems. Programming - KTSG Technical Week. :74-75.
[RP-85-02] .
1985. Inteligencia Artificial y Robótica Industrial.
[RP-85-01] .
1985. Las redes de Petri en la Automática y la Informática.
[RP-85-04] .
1985. Binary-decision graphs for implementation of boolean functions. IEE Proceedings. :175-185.
[RP-85-06] .
1985. Lenguajes para la programación de robots industriales. :11-80.
[RP-85-07] .
1985. Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
[RP-85-08] .
1985. A language for the description of Concurrent Systems Modeled by Colored Petri nets. Application to the Control of Flexible Manufacturing Systems. :369-388.
[RP-85-09] .
1985. Tolerancia a fallos en aplicaciones tiempo real. :111-124.
[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.
