Publications
Filters: First Letter Of Last Name is S [Clear All Filters]
.
1990.
[1321] Predictive Maintenance Manager design pattern for component based machine tools. IEEE 9th International Conference on Industrial Informatics (INDIN’2011).
.
2011.
[1377] "Predictive Maintenance Surveyor" Design Pattern for Machine Tools Control Software Applications. 16th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2011).
.
2011.
[RP-82-07] Programmable logic controllers and Petri nets: A comparative study. :29-34.
.
1982.
[CCS-Kyoto-89] Properties and Steady State Performance Bounds for Petri Nets with Unique Repetitive Firing Count Vector. :210-220.
.
1989.
.
2008.
[RP-81-05] Realización cableada de redes de Petri binarias. :265-275.
.
1981.
[RP-81-03] Realización cableada de redes de Petri: Un equipo para prácticas. :215-230.
.
1981.
[RP-90-12] A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril. :181-200.
.
1990.
[RP-80-07] Redes de Petri y validación de sistemas con actividades concurrentes. :xx.
.
1980.
[IPJiJuReSi04] Relaxed Continuous Views of Discrete Event Systems: considerations in Forrester Diagrams and Petri Nets. :4897-4904.
.
2004.
[RP-92-06] Response time approximation for the performance analysis of manufacturing systems modeled with stochastic marked graphs. :1000-1005.
.
1992.
[RP-84-03] A robot programming and control system. :92-97.
.
1984.
[ICReTeSi96] SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
.
1996.
[RP-81-07] A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.
.
1981.
[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-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.
[1343] STAR: A Software Tool for Validating Concurrent Systems. Programming - KTSG Technical Week. :74-75.
.
1985.