Publications
Filters: Author is M. Silva [Clear All Filters]
[RP-87-02] Packages for validating discrete production systems modelled with Petri nets. :529-536.
.
1987.
[RP-87-03] Aproximación a los robots inteligentes. :265-279.
.
1987.
[RP-87-04] Towards a Synchrony Theory for P/T Nets. :435-460.
.
1987.
[RP-86-11] On software implementation of Petri nets and colored Petri nets using high-level concurrent languages. :207-241.
.
1986.
[RP-86-10] Packages for validating discrete production systems modeled with Petri nets. :457-462.
.
1986.
[RP-86-07] Maximun firing deviation and fair relations in Petri nets. :1008-1010.
.
1986.
[RP-86-08] A software environment for systems design with HLPN and their implementations. :95-127.
.
1986.
[1345] Packages for validating discrete production systems modeled with Petri nets. IMACS-IFAC Symposium on Modelling and Simulation for Control of Lumped and Distributed Parameter Systems. :457-462.
.
1986.
[1346] On software implementation of Petri Nets and Colored Petri Nets using high-level concurrent languages. Seventh European Workshop on Application and Theory of Petri Nets. :207-241.
.
1986.
[RP-86-01] Diseño de un sistema didáctico de programación y control. :97-108.
.
1986.
[RP-86-02] Nuevos métodos para la especificación del control de sistemas flexibles de fabricación. :185-195.
.
1986.
[RP-86-03] Petri nets for the specification of FMSs. :389-406.
.
1986.
[RP-86-04] La programación de los robots industriales. Sistemas CAD/CAM/CAE. :259-272.
.
1986.
[RP-86-05] Robot programming and robot vision. :11-29.
.
1986.
.
1986.
[RP-85-10] Sistema de programación y control de robots con visión artificial. :66-69.
.
1985.
[975] Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
.
1985.
[1343] STAR: A Software Tool for Validating Concurrent Systems. Programming - KTSG Technical Week. :74-75.
.
1985.
[RP-85-02] Inteligencia Artificial y Robótica Industrial.
.
1985.
.
1985.
[RP-85-04] Binary-decision graphs for implementation of boolean functions. IEE Proceedings. :175-185.
.
1985.
[RP-85-06] Lenguajes para la programación de robots industriales. :11-80.
.
1985.
[RP-85-07] Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
.
1985.
[RP-85-08] A language for the description of Concurrent Systems Modeled by Colored Petri nets. Application to the Control of Flexible Manufacturing Systems. :369-388.
.
1985.
[RP-85-09] Tolerancia a fallos en aplicaciones tiempo real. :111-124.
.
1985.