Publications

Export 80 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Title is S  [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   [Show ALL]
S
[IPSiTe96b] Silva, M, Teruel E.  1996.  A Systems Theory Perspective of Discrete Event Dynamic Systems The Petri Net Paradigm. Symposium on Discrete Events and Manufacturing Systems. CESA 96 IMACS Multiconference. :1-12.
0 icon
96_ST_CESA.ps
T
[ARTeSi96] Teruel, E, Silva M.  1996.  Structure Theory of Equal Conflict Systems. Theoretical Computer Science. 153:271-300.
C
[CDS-TSE-99] Campos, J, Donatelli S, Silva M.  1999.  Structured Solution of Asynchronously Communicating Stochastic Modules. IEEE Transactions on Software Engineering. 25:147-165.
0 icon
99_CDS_TSE.ps
[CDS-StMalo-97] Campos, J, Donatelli S, Silva M.  1997.  Structured Solution of Stochastic DSSP Systems. :91-100.
0 icon
97_CDS_StMalo.ps
S
[SC-Erlangen-95] Silva, M, Campos J.  1995.  Structural Performance Analysis of Stochastic Petri Nets. :61-70.
0 icon
95_SC_Erlangen.ps
C
[CS-LNCS-92] Campos, J, Silva M.  1992.  Structural Techniques and Performance Bounds of Stochastic Petri Net Models. 609:352-391.
0 icon
92_CS_LNCS.ps
[CS-DS-90] Campos, J, Silva M.  1990.  Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :427-438.
0 icon
90_CS_DS.ps
[CS-Lyon-89] Campos, J, Silva M.  1989.  Steady State Performance Evaluation of Totally Open Systems of Markovian Sequential Processes. :559-585.
R
[IPReJuSi02] Recalde, L, Julvez J, Silva M.  2002.  Steady State Performance evaluation for some continuous Petri nets. :N479.
0 icon
ifac2002.pdf
[ICReTeSi96] Recalde, L, Teruel E, Silva M.  1996.  SCECS A Class of Modular and Hierarchical Cooperating Systems. 1091:440-459.
0 icon
96_RTS_ICATPN.ps
J
[ARJuReSi05] Julvez, J, Recalde L, Silva M.  2005.  Steady-state performance evaluation of continuous mono-T-semiflow Petri nets. Automatica. 41:605-616.
0 icon
perf_publicado.pdf
R
[ARReTeSi01] Recalde, L, Teruel E, Silva M.  2001.  Structure Theory of Multi Level Deterministically Synchronized Sequential Processes. Theoretical Computer Science. 254:1-33.
0 icon
01_RTS_TCS.ps
C
[IPCaGiMaReSeSi07] Cabasino, MP, Giua A, Mahulea C, Recalde L, Seatzu C, Silva M.  2007.  State Estimation of Petri Nets by Transformation. :194-199.
S
[RP-79-01] Silva, M, David R.  1979.  Synthèse programmée des automatismes logiques décrits par réseaux de Petri: Une méthode de mise en oeuvre sur microcalculateurs. Rairo-Automatique. 13:369-393.
[RP-80-01] Silva, M.  1980.  Simplification des réseaux de Petri par élimination des places implicites. Digital Processes. :245-256.
[RP-80-03] Silva, M, Velilla S.  1980.  Sistema especializado en la simulación de redes de Petri sanas. :81-88.
[RP-81-01] Silva, M.  1981.  Sur le concept de macroplace et son utilisation pour lanalyse des réseaux de Petri. RAIRO- Automatique. 15:57-67.
[RP-81-02] Silva, M.  1981.  A survey of Petri net related teaching and research in Spain. Newsletter on Petri Nets and Related Systems Models. :5-13.
M
[RP-81-06] Martínez, J, Silva M.  1981.  Sobre la obtención del conjunto de componentes elementales de una RdPG. :287-296.
[RP-81-07] Martínez, J, Silva M.  1981.  A simple and fast algorithm to obtain all invariants of a Generalised Petri Net. :411-421.
[RP-82-02] Martínez, J, Silva M.  1982.  A simple and fast algorithm to obtain all invariants of a generalized Petri net. :301-310.
S
[RP-82-03] Silva, M, Velilla S.  1982.  Sobre la obtención del conjunto de componentes elementales de una RdPG. 6:155-160.
[RP-82-05] Silva, M.  1982.  Sistemas concurrentes descritos con RdP: Validación asistida por computador. :126-134.
[RP-83-05] Silva, M, Velilla S.  1983.  Sistema manipulador-visión: Aplicaciones no convencionales. :11-28.
V
[RP-85-10] Villarroel, JL, Silva M.  1985.  Sistema de programación y control de robots con visión artificial. :66-69.