Publications
Filters: Author is M. Silva [Clear All Filters]
[RP-84-02] Lenguajes de programación para robots industriales (Parte II). :39-53.
.
1984.
[RP-83-04] Lenguajes de programación para robots industriales (Parte I). :35-48.
.
1983.
[RP-83-03] Lenguajes de Programación para el Control de Procesos Industriales. :127-137.
.
1983.
.
1985.
[RP-84-09] A language for the description of concurrent sytems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems. :72-77.
.
1984.
[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-80-02] A la recherche dune métodologie de conception sure des automatismes logiques basée sur lutilisation des réseaux de Petri. :245-256.
.
1980.
[RP-86-04] La programación de los robots industriales. Sistemas CAD/CAM/CAE. :259-272.
.
1986.
.
1983.
.
1989.
[1280] An Iterative Control Method for Distributed Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
.
2010.
[SC-MATCH20-98] Introduction to Net Driven Decomposition Techniques. :693-718.
.
1998.
[1491] Introduction to Fluid Petri Nets. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:365-386.
.
2013.
[RP-93-57] Introducing Petri Nets.
.
1993.
.
1987.
[1001] Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
.
1988.
.
2002.
[ICSilv93a] Interleaving Functional and Performance Structural Analysis of Net Models. Application and Theory of Petri Nets 1993. 691:17-23.
.
1993.
[RP-93-10] Interleaving functional and performance structural analysis of Net models. 691:17-23.
.
1993.
[RP-85-02] Inteligencia Artificial y Robótica Industrial.
.
1985.
[259] Improving Throughput Upper Bounds for Net Based Models. Robotics and Flexible Manufacturing Systems. :281-294.
.
1992.
[263] Improving Throughput Upper Bounds for Net Based Models. IMACS MCTS’91 International Symposium on Modeling and Control of Technological Systems. 1:573-582.
.
1991.
[672] Improving the Linearly Based Characterization of P/T Nets. Advances in Petri Nets 1990. :113-145.
.
1991.
[1005] Improving the linearly based characterization of P/T nets. 10th International Conference on Application and Theory of Petri Nets. :52-73.
.
1989.
[1358] Improving the linearly based characterization of P/T nets. Proceedings of Design Methods Based on Nets (DEMON). Esprit Basic Research Action 3148. W.G. 3: Algebra and Proof Methods. Deliverables Covering the Period June 1989 to June 1990.
.
1990.