Publications
Filters: Author is M. Silva [Clear All Filters]
[RP-84-03] A robot programming and control system. :92-97.
.
1984.
[RP-86-05] Robot programming and robot vision. :11-29.
.
1986.
[ICReTeSi96] SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
.
1996.
[RP-92-26] Scheduling en celdas autónomas de ensamblaje basado en un algoritmo de tiempo mínimo en RdP. :55-60.
.
1992.
[RP-81-07] A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.
.
1981.
[RP-82-02] A simple and fast algorithm to obtain all invariants of a generalized Petri net. :301-310.
.
1982.
[RP-80-01] Simplification des réseaux de Petri par élimination des places implicites. Digital Processes. :245-256.
.
1980.
[RP-85-10] Sistema de programación y control de robots con visión artificial. :66-69.
.
1985.
[RP-80-03] Sistema especializado en la simulación de redes de Petri sanas. :81-88.
.
1980.
[RP-83-05] Sistema manipulador-visión: Aplicaciones no convencionales. :11-28.
.
1983.
[RP-82-05] Sistemas concurrentes descritos con RdP: Validación asistida por computador. :126-134.
.
1982.
[RP-87-08] Sistemas modernos de programación de robots. :25-52.
.
1987.
[RP-81-06] Sobre la obtención del conjunto de componentes elementales de una RdPG. :287-296.
.
1981.
[RP-82-03] Sobre la obtención del conjunto de componentes elementales de una RdPG. 6:155-160.
.
1982.
[RP-86-08] A software environment for systems design with HLPN and their implementations. :95-127.
.
1986.
[RP-86-09] Specification de la Commande des Ateliers Flexibles à lAide de Réseaux de Petri Colorés. :85-96.
.
1986.
[RP-88-03] The spy: a mechanism for safe implementation of highly concurrent systems. :95-102.
.
1988.
[RP-89-01] The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.
.
1989.
[1343] STAR: A Software Tool for Validating Concurrent Systems. Programming - KTSG Technical Week. :74-75.
.
1985.
[IPCaGiMaReSeSi07] State Estimation of Petri Nets by Transformation. :194-199.
.
2007.
[PJCS-96a] State Machine Reduction for the Approximate Performance Evaluation of Manufacturing Systems Modelled with Cooperating Sequential Processes. :1159-1165.
.
1996.
[ARMARARESI08] Steady state control reference and token conservation laws in continuous Petri net systems. IEEE Transactions on Automation Science and Engineering. 5:307-320.
.
2008.
[IPMaRaReSi05] Steady state control, zero valued poles and token conservation laws in continuous net systems.
.
2005.
[IPReJuSi02] Steady State Performance evaluation for some continuous Petri nets. :N479.
.
2002. .
1990.