Santiago Velilla
Phone:
(+34) 976761951
Email:
svelilla
unizar [dot] es
Position:
Ph.D. Member Publications
[RP-89-01] .
1989. The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.
[RP-88-03] .
1988. The spy: a mechanism for safe implementation of highly concurrent systems. :95-102.
[RP-86-12] .
1986. Almacenamiento de imágenes en un computador PDP-11/34. :67-76.
[RP-85-11] .
1985. Error detection and correction on Petri net models of discrete control systems. :921-924.
[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-83-05] .
1983. Sistema manipulador-visión: Aplicaciones no convencionales. :11-28.
[RP-83-02] .
1983. Programmable logic controllers and Petri nets: A comparative study. :83-88.
[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-07] .
1982. Programmable logic controllers and Petri nets: A comparative study. :29-34.
[RP-81-03] .
1981. Realización cableada de redes de Petri: Un equipo para prácticas. :215-230.
[RP-81-04] .
1981. Componentes conservativas elementales y realización microprogramada de una red de Petri conforme. :317-328.
[RP-81-05] .
1981. Realización cableada de redes de Petri binarias. :265-275.
[RP-80-08] .
1980. Traducción de expresiones lógicas: aplicación en autómatas programables y en la enseñanza. :664-670.
[RP-80-03] .
1980. Sistema especializado en la simulación de redes de Petri sanas. :81-88.
