Publications

Export 26 results:
Sort by: [ Author (Desc)] Title Type Year
Filters: First Letter Of Title is L  [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]
T
[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
[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
S
[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
[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.
[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.
M
[RP-83-03] Martínez, J, Silva M.  1983.  Lenguajes de Programación para el Control de Procesos Industriales. :127-137.
S
[RP-83-04] Silva, M.  1983.  Lenguajes de programación para robots industriales (Parte I). :35-48.
[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-84-02] Silva, M.  1984.  Lenguajes de programación para robots industriales (Parte II). :39-53.
M
[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.
S
[RP-85-01] Silva, M.  1985.  Las redes de Petri en la Automática y la Informática.
[RP-85-06] Silva, M.  1985.  Lenguajes para la programación de robots industriales. :11-80.
M
[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.
S
[RP-86-04] Silva, M.  1986.  La programación de los robots industriales. Sistemas CAD/CAM/CAE. :259-272.
[RP-89-08] Silva, M.  1989.  Logical controllers. :157-166bis.
C
[1341] Colom, JM, Teruel E, Silva M.  1998.  Logical Properties of P/T Systems and their Analysis. Performance Models for Discrete Event Systems with Synchronisations: Formalisms and Analysis Techniques Vol.1, HCM-MATCH Advanced Schools. :185-232.
T
[1364] Teruel, E, Colom JM, Silva M.  1993.  Linear Analysis of Deadlock-Freeness of Petri Net Models. III Jornadas de Concurrencia. :175-180.
M
[MR-97] Merseguer, J, Romero J.  1997.  La herencia en el modelo orientado a objetos, del análisis a la implementación. :21-30.
P
[1458] Perez-Palacin, D, Calinescu R, Merseguer J.  2013.  log2cloud: Log-based Prediction of Cost-Performance Trade-offs for Cloud Deployments. 28th Symposium On Applied Computing. :397-404.
application/pdf icon
SAC-CC-2013-CR.pdf
L
[LSD] López-Valdés, M.  2006.  Lempel-Ziv Dimension for Lempel-Ziv compression.
0 icon
submission_172.pdf
K
[1449] Kloetzer, M, Mahulea C.  2012.  LTL Planning in Dynamic Environments. WODES'12: 11th Int. Workshop on Discrete Event Systems.
[1556] Kloetzer, M, Mahulea C.  2015.  LTL-based Planning in Environments with Probabilistic Observations. IEEE Transactions on Automation Science and Engineering. 12(4)
M
[RP-90-04] Martínez, J, Ezpeleta J.  1990.  The lift example.
C
[ICCoMa90] Couvreur, JM, Martínez J.  1991.  Linear Invariants in Commutative High Level Nets. :146-165.
[RP-89-05] Couvreur, JM, Martínez J.  1989.  Linear invariants in commutative high level nets. :96-114.