Publications

Export 16 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: Author is S. Velilla  [Clear All Filters]
Book
Conference Paper
[RP-81-04] Silva, M, Velilla S.  1981.  Componentes conservativas elementales y realización microprogramada de una red de Petri conforme. :317-328.
[RP-84-08] Silva, M, Velilla S.  1984.  Detección y corrección de errores mediante la codificación de redes de Petri. :491-500.
[RP-84-07] Velilla, S, Silva M.  1984.  Diseño de un controlador tiempo real seguro de funcionamiento. :303-310.
[RP-85-11] Silva, M, Velilla S.  1985.  Error detection and correction on Petri net models of discrete control systems. :921-924.
[RP-82-07] Silva, M, Velilla S.  1982.  Programmable logic controllers and Petri nets: A comparative study. :29-34.
[RP-81-05] Silva, M, Velilla S.  1981.  Realización cableada de redes de Petri binarias. :265-275.
[RP-81-03] Silva, M, Velilla S.  1981.  Realización cableada de redes de Petri: Un equipo para prácticas. :215-230.
[RP-80-03] Silva, M, Velilla S.  1980.  Sistema especializado en la simulación de redes de Petri sanas. :81-88.
[RP-83-05] Silva, M, Velilla S.  1983.  Sistema manipulador-visión: Aplicaciones no convencionales. :11-28.
[RP-88-03] Velilla, S, Silva M.  1988.  The spy: a mechanism for safe implementation of highly concurrent systems. :95-102.
[RP-80-08] Velilla, S, Silva M.  1980.  Traducción de expresiones lógicas: aplicación en autómatas programables y en la enseñanza. :664-670.
Journal Article