Publications

Export 65 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Last Name is V  [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]
W
[ICTeSi94] Teruel, E, Silva M.  1994.  Well-formedness of Equal Conflict Systems. Application and Theory of Petri Nets 1994. 815:491-510.
V
[1336] Colom, JM.  2001.  Verificación de propiedades en Redes de Petri. Sistemas Distribuidos: Modelos y Aplicaciones. :99-114.
T
[RP-80-08] Velilla, S, Silva M.  1980.  Traducción de expresiones lógicas: aplicación en autómatas programables y en la enseñanza. :664-670.
[ICSilv87] Silva, M.  1987.  Towards a Synchrony Theory for P/T Nets. Concurrency and Nets. :435-460.
[1267] Vázquez, CR, Silva M.  2010.  Timing-dependent boundedness and liveness in continuous Petri nets. 10th International Workshop on Discrete Event Systems (WODES).
application/pdf icon
version_sometida_inicialmente_WODES.pdf
[1316] Vázquez, CR, Silva M.  2011.  Timing and liveness in continuous Petri nets. Automatica. 47(2):283--290.
application/pdf icon
Draft_-_Timing_and_liveness_in_continuous_PN.pdf
[IPVaMaMiReSi08] Vázquez, CR, Mangini AM, Mihalache A, Recalde L, Silva M.  2008.  Timing and Deadlock-freeness in Continuous Petri Nets. IFAC World Congress. 17
0 icon
Timing for deadlock-freeness v submitted.pdf
S
[1334] Colom, JM, Teruel E, Silva M, Haddad S.  2002.  Structural Methods. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :277-316.
[1338] Colom, JM, Haddad S, Silva M, Teruel E.  1998.  Structural Methods. Systems Engineering: A Petri Net Based Approach to Modelling, Verification and Implementation, HCM-MATCH Advanced Schools. :271-315.
[IPVaReSi08] Vázquez, CR, Recalde L, Silva M.  2008.  Stochastic-Continuous State Approximation of Markovian Petri Net Systems. IEEE Conference on Decision and Control.
0 icon
Draft Stochastic Continuous-State Approximation of Markovian Petri Net Systems.pdf
[1494] Vazquez, CR, Silva M.  2011.  Stochastic Continuous Petri Nets: An Approximation of Markovian Net Models. IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans. 42(4):641-653.
[RP-88-03] Velilla, S, Silva M.  1988.  The spy: a mechanism for safe implementation of highly concurrent systems. :95-102.
[RP-89-01] Velilla, S, Silva M.  1989.  The Spy: A mechanism for safe implementation of highly concurrent systems. :75-81.
[RP-82-03] Silva, M, Velilla S.  1982.  Sobre la obtención del conjunto de componentes elementales de una RdPG. 6:155-160.
[RP-83-05] Silva, M, Velilla S.  1983.  Sistema manipulador-visión: Aplicaciones no convencionales. :11-28.
[RP-80-03] Silva, M, Velilla S.  1980.  Sistema especializado en la simulación de redes de Petri sanas. :81-88.
[RP-85-10] Villarroel, JL, Silva M.  1985.  Sistema de programación y control de robots con visión artificial. :66-69.
[1451] Julvez, J, Vazquez CR, Mahulea C.  2012.  SimHPN: a MATLAB toolbox for simulation, analysis and design with hybrid Petri nets. Nonlinear Analysis: Hybrid Systems. 6(2):817.
R
[RP-92-34] Ezpeleta, J, Villarroel JL.  1992.  A rule-Petri net integrated approach for the modeling and analysis of manufacturing systems. :349-358.
[1308] Gavaldà, R, López-Valdés M, Mayordomo E, Vinodchandran NV.  2010.  Resource-bounded Dimension in Computational Learning Theory. arXiv.
[RP-90-12] Valette, R, Silva M.  1990.  A Rede de Petri: Una Ferramenta para la Automa{\c c}ao Fabril. :181-200.
[RP-81-03] Silva, M, Velilla S.  1981.  Realización cableada de redes de Petri: Un equipo para prácticas. :215-230.
[RP-81-05] Silva, M, Velilla S.  1981.  Realización cableada de redes de Petri binarias. :265-275.
[RP-82-01] Silva, M, Velilla S.  1982.  Realización cableada de redes de Petri binarias. 6:151-155.
P
[1335] Colom, JM, Silva M, Teruel E.  2002.  Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.