Publications

Export 135 results:
Sort by: Author [ Title (Desc)] Type Year
Filters: First Letter Of Last Name is R  [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]
O
[1250] Mahulea, C, Seatzu C, Cabasino MP, Recalde L, Silva M.  2009.  Observer Design for Untimed Continuous Petri Nets. ACC'09: Proceedings of the 2009 conference on American Control Conference.
[IPMARESI08] Mahulea, C, Recalde L, Silva M.  2008.  Observability of Timed Continuous Petri Nets: A Class of Hybrid Systems.
[1258] Mahulea, C, Recalde L, Silva M.  2010.  Observability of continuous Petri nets with infinite server semantics. Nonlinear Analysis: Hybrid Systems. 4(2):232.
N
[ICEzCoSi93] Ezpeleta, J, Couvreur JM, Silva M.  1993.  A New Technique for Finding a Generating Family of Siphons, Traps and ST-Components. Application to Coloured Petri Nets. Advances in Petri Nets. 674:126-147.
[RP-93-56] Couvreur, JM, Silva M.  1993.  A new technique for finding a generating family of siphons, traps and st-components. 674:126-147.
M
[RP-91-32] Muro, P, Silva M.  1991.  Modelling, validation and software implementation of production systems using high-level Petri nets. :618-623.
[1525] Rodríguez, RJ, Bernardi S, Merseguer J.  2015.  Modelling Security of Critical Infrastructures: A Survivability Assessment. The Computer Journal. 58(10)
application/pdf icon
RMB-TCJ-14.pdf
[RP-85-07] Martínez, J, Silva M.  1985.  Modelling and Validation of Complex Systems modeled by Colored Petri Nets. 188:15-31.
[ZRS-ECC99] Zimmermann, A, Rodríguez D, Silva M.  1999.  Modelling and Optimization of Manufacturing Systems Petri Nets and Simulated Annealing.
0 icon
99_ZRS_ECC.ps
[RMB_SERENE10] Rodríguez, RJ, Merseguer J, Bernardi S.  2010.  Modelling and Analysing Resilience as a Security Issue within UML. 2nd International Workshop on Software Engineering for Resilient Systems.
application/pdf icon
serene2010_camera_ready.pdf
[IPMaMuSi87] Martínez, J, Muro P, Silva M.  1991.  Modeling, Validation and Software Implementation of Production Systems Using High Level Petri Nets. High-Level Petri Nets. Theory and Applications. :618-623.
[ARReTeSi97] Recalde, L, Teruel E, Silva M.  1998.  Modeling and Analysis of Sequential Processes that Cooperate through Buffers. IEEE Trans on Robotics and Automation. 14:267-277.
[1481] Requeno, JI, Colom JM.  2013.  Model checking software for phylogenetic trees using distribution and database methods. Journal of Integrative Bioinformatics. 10(3) Abstract
[cost] Merelo, Tricas F, Ruiz.  2003.  Measuring the Spanish Blogosphere.
L
[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-85-06] Silva, M.  1985.  Lenguajes para la programación de robots industriales. :11-80.
[MR-97] Merseguer, J, Romero J.  1997.  La herencia en el modelo orientado a objetos, del análisis a la implementación. :21-30.
I
[RP-85-02] [Anonymous].  1985.  Inteligencia Artificial y Robótica Industrial.
[RM_ISARCS10] Rodríguez, RJ, Merseguer J.  2010.  Integrating Fault-Tolerant Techniques into the Design of Critical Systems. 1st International Symposium on Architecting Critical Systems. 6150:33--51.
application/pdf icon
isarcs_camera_ready.pdf
[672] Colom, JM, Silva M.  1991.  Improving the Linearly Based Characterization of P/T Nets. Advances in Petri Nets 1990. :113-145.
[IPReMaSi06] Recalde, L, Mahulea C, Silva M.  2006.  Improving analysis and simulation of continuous Petri Nets. :7–12.
[1391] Chamizo, GJM, de Casado MG, Rodríguez GJ.  2004.  II Jornadas sobre Domótica y Automatización Industrial. II Jornadas sobre Domótica y Automatización Industrial.
[1373] Catalán, C, Serna F, Blesa A, Rams JM.  2010.  IEC 61499 execution model based on life cycle of function blocks. 15th IEEE International Conference on Emerging Techonologies and Factory Automation (ETFA’2010). Abstract
G
[LCRM06] Lobov, A, Popescu C, Rodríguez D, Lastra L.  2006.  A Graphical Environment for Modeling and Analysis of Concurrent Systems in Manufacturing: An Educational Perspective.
F
[IPJiReSi01] Jimenez, E, Recalde L, Silva M.  2001.  Forrester Diagrams and Continuous Petri Nets A Comparative View. :85-94.
0 icon
01_JRS_ETFA.pdf