Publications

Export 319 results:
Sort by: Author [ Title (Asc)] Type Year
Filters: Author is M. Silva  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
I
[ICSilv93a] Silva, M.  1993.  Interleaving Functional and Performance Structural Analysis of Net Models. Application and Theory of Petri Nets 1993. 691:17-23.
[RP-93-10] Silva, M.  1993.  Interleaving functional and performance structural analysis of Net models. 691:17-23.
[1327] [Anonymous].  2002.  International Workshop on Discrete Event Systems (WODES'02).
[1001] Leu, D, Silva M, Colom JM, Murata T.  1988.  Interrelationships among various concepts of fairness for Petri nets. 31st Midwest Symposium on Circuits and Systems. :1141-1144.
[RP-87-01] Silva, M.  1987.  Introducción a los Robots Industriales y sus aplicaciones.
[RP-93-57] Silva, M, Vernadat F.  1993.  Introducing Petri Nets.
[1491] Vazquez, CR, Mahulea C, Julvez J, Silva M.  2013.  Introduction to Fluid Petri Nets. Control of Discrete-Event Systems. Automata and Petri net Perspectives. 433:365-386.
[SC-MATCH20-98] Silva, M, Campos J.  1998.  Introduction to Net Driven Decomposition Techniques. :693-718.
0 icon
98_SC_MATCH20.ps
[1280] Apaydin-Ozkan, H, Mahulea C, Julvez J, Silva M.  2010.  An Iterative Control Method for Distributed Continuous Petri Nets. CDC10: 49th IEEE Conference on Decision and Control.
K
[RP-89-07] Martínez, J, Silva M.  1989.  A knowledge representation environment for manufacturing control systems design and prototyping. :585-590.
L
[RP-83-06] Silva, M.  1983.  La enseñanza de la Informática en la E.T.S. Ingenieros Industriales de la Universidad de Zaragoza. :165-186.
[RP-86-04] Silva, M.  1986.  La programación de los robots industriales. Sistemas CAD/CAM/CAE. :259-272.
[RP-80-02] Sifakis, MJ, Silva M.  1980.  A la recherche dune métodologie de conception sure des automatismes logiques basée sur lutilisation des réseaux de Petri. :245-256.
[RP-85-08] Martínez, J, Silva M.  1985.  A language for the description of Concurrent Systems Modeled by Colored Petri nets. Application to the Control of Flexible Manufacturing Systems. :369-388.
[RP-84-09] Martínez, J, Silva M.  1984.  A language for the description of concurrent sytems modelled by coloured Petri nets: Application to the control of flexible manufacturing systems. :72-77.
[RP-85-01] Silva, M.  1985.  Las redes de Petri en la Automática y la Informática.
[RP-83-03] Martínez, J, Silva M.  1983.  Lenguajes de Programación para el Control de Procesos Industriales. :127-137.
[RP-83-04] Silva, M.  1983.  Lenguajes de programación para robots industriales (Parte I). :35-48.
[RP-84-02] Silva, M.  1984.  Lenguajes de programación para robots industriales (Parte II). :39-53.
[RP-85-06] Silva, M.  1985.  Lenguajes para la programación de robots industriales. :11-80.
[883] Silva, M, Teruel E, Colom JM.  1998.  Linear Algebraic and Linear Programming Techniques for the Analysis of Place/Transition Net Systems. Lectures on Petri Nets I: Basic Models. Advances in Petri Nets. :309-373.
[269] Silva, M, Colom JM, Campos J.  1992.  Linear Algebraic Techniques for the Analysis of Petri Nets. Recent Advances in Mathematical Theory of Systems, Control, Networks, and Signal Processing II. :35-42.
0 icon
91_SCC_Mita.ps
[199] Teruel, E, Colom JM, Silva M.  1993.  Linear Analysis of Deadlock-Freeness of Petri Net Models. Second European Control Conference, ECC'93. 2:513-518.
0 icon
93_TCS_ECC.ps
[1364] Teruel, E, Colom JM, Silva M.  1993.  Linear Analysis of Deadlock-Freeness of Petri Net Models. III Jornadas de Concurrencia. :175-180.
[ICTeSi93] Teruel, E, Silva M.  1993.  Liveness and Home States in Equal Conflict Systems. Application and Theory of Petri Nets 1993. 691:415-432.
0 icon
93_TS_ICATPN.ps