Publications
Filters: Author is M. Silva [Clear All Filters]
[252] A General Iterative Technique for Approximate Throughput Computation of Stochastic Marked Graphs. IEEE 5th International Workshop on Petri Nets and Performance Models (PNPM'93). :138-147.
.
1993.
[RP-88-07] GRAMAN: A Graphic System for Manufacturing System Design. :79-84.
.
1988.
[RP-89-17] GRAMAN: a graphic system for manufacturing system design. :311-316.
.
1989.
[RP-84-05] Hacia la definición de un sistema de programación y control de robots. :139-146.
.
1984.
[RP-80-04] Hacia una nueva concepción del análisis y diseño de los sistemas lógicos secuenciales. :14-33.
.
1980.
[1268] Hybrid Petri net model of a traffic intersection in an urban network. 2010 IEEE Multiconference on Systems and Control.
.
2010.
[1226] Hybrid Petri nets as an approximation to Markovian Petri nets. IFAC Conference on Analysis and Design of Hybrid Systems.
.
2009.
[1342] Implicit Places in Net Systems. IEEE 8th International Workshop on Petri Nets and Performance Models (PNPM'99). :104-113.
.
1999.
[IPReMaSi06] Improving analysis and simulation of continuous Petri Nets. :7–12.
.
2006.
[1005] Improving the linearly based characterization of P/T nets. 10th International Conference on Application and Theory of Petri Nets. :52-73.
.
1989.
[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.
[1001] Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
.
1988.
[1280] An Iterative Control Method for Distributed Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
.
2010.
[RP-89-07] A knowledge representation environment for manufacturing control systems design and prototyping. :585-590.
.
1989.
[RP-83-06] La enseñanza de la Informática en la E.T.S. Ingenieros Industriales de la Universidad de Zaragoza. :165-186.
.
1983.
[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.
[199] Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
.
1993.
[1364] Linear Analysis of Deadlock-Freeness of Petri Net Models. III Jornadas de Concurrencia. :175-180.
.
1993.
[RP-89-08] Logical controllers. :157-166bis.
.
1989.
[RP-86-07] Maximun firing deviation and fair relations in Petri nets. :1008-1010.
.
1986.
[RP-80-05] Memoria de actividades del Dpto. de Automática de la E.T.S.I. Industriales de la U.Z.. :111-116.
.
1980.
[RP-89-13] Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :307-313.
.
1989.
[RP-90-08] Minimal Deadlocks in Free Choice nets.
.
1990.
[1281] Minimum-Time Control for Structurally Persistent Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
.
2010.
[1464] Minimum-Time Flow Control of Timed Continuous Choice-Free Nets. ECC'13: European Control Conference.
.
2013.