Publications

Export 332 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Last Name is S  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R [S] T U V W X Y Z   [Show ALL]
V
[RP-85-10] Villarroel, JL, Silva M.  1985.  Sistema de programación y control de robots con visión artificial. :66-69.
S
[RP-85-11] Silva, M, Velilla S.  1985.  Error detection and correction on Petri net models of discrete control systems. :921-924.
M
[975] Martínez, J, Colom JM, Silva M.  1985.  Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
V
[RP-86-01] Villarroel, JL, Silva M.  1986.  Diseño de un sistema didáctico de programación y control. :97-108.
M
[RP-86-02] Martínez, J, Silva M.  1986.  Nuevos métodos para la especificación del control de sistemas flexibles de fabricación. :185-195.
A
[RP-86-03] Alla, H, Silva M.  1986.  Petri nets for the specification of FMSs. :389-406.
S
[RP-86-04] Silva, M.  1986.  La programación de los robots industriales. Sistemas CAD/CAM/CAE. :259-272.
[RP-86-05] Silva, M, Roy A.  1986.  Robot programming and robot vision. :11-29.
M
[RP-86-07] Murata, T, Silva M.  1986.  Maximun firing deviation and fair relations in Petri nets. :1008-1010.
S
[RP-86-08] Silva, M, Martínez J.  1986.  A software environment for systems design with HLPN and their implementations. :95-127.
M
[RP-86-09] Martínez, J, Silva M.  1986.  Specification de la Commande des Ateliers Flexibles à lAide de Réseaux de Petri Colorés. :85-96.
[RP-86-10] Martínez, J, Silva M.  1986.  Packages for validating discrete production systems modeled with Petri nets. :457-462.
S
[RP-86-11] Silva, M, Villarroel JL.  1986.  On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. :207-241.
[RP-87-01] Silva, M.  1987.  Introducción a los Robots Industriales y sus aplicaciones.
M
[RP-87-02] Martínez, J, Silva M.  1987.  Packages for validating discrete production systems modelled with Petri nets. :529-536.
T
[RP-87-03] Tardós, Silva M.  1987.  Aproximación a los robots inteligentes. :265-279.
S
[RP-87-04] Silva, M.  1987.  Towards a Synchrony Theory for P/T Nets. :435-460.
M
[RP-87-05] Muro, P, Silva M.  1987.  Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. :1180-1185.
S
[995] Silva, M, Colom JM.  1987.  On the structural computation of synchronic invariants in P/T nets. Eighth European Workshop on Application and Theory of Petri Nets. :237-258.
[RP-87-07] Silva, M, Murata T.  1987.  On synchonic distance and B-fair relations for Petri nets. :270-278.
M
[RP-87-08] Montano, L, Silva M.  1987.  Sistemas modernos de programación de robots. :25-52.
V
[RP-88-03] Velilla, S, Silva M.  1988.  The spy: a mechanism for safe implementation of highly concurrent systems. :95-102.
L
[1001] Leu, D, Silva M, Colom JM, Murata T.  1988.  Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
M
[RP-88-07] Martínez, J, Silva M.  1988.  GRAMAN: A Graphic System for Manufacturing System Design. :79-84.
V
[RP-89-01] Velilla, S, Silva M.  1989.  The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.