Publications

Export 663 results:
Sort by: Author Title Type [ Year (Desc)]
2003
[cost] Merelo, Tricas F, Ruiz.  2003.  Measuring the Spanish Blogosphere.
2002
[BDM-WOSP-02] Bernardi, S, Donatelli S, Merseguer J.  2002.  From UML Sequence Diagrams and Statecharts to analysable Petri Net models. :35-45.
0 icon
02_BDM_WOSP.ps
[charlie-Phd] Pérez-Jiménez, CJ.  2002.  Tecnicas de aproximacion de throughput en redes de Petri estocasticas.
0 icon
02_Per_thesis.pdf
[LGMC-02b] López-Grao, JP, Merseguer J, Campos J.  2002.  On the Use of Formal Models in Software Performance Evaluation. :367-387.
0 icon
02_LGMC_JJCC.pdf
[LGMC-02c] López-Grao, JP, Merseguer J, Campos J.  2002.  Performance Engineering Based on UML and SPNs: A Software Performance Tool. :405-409.
0 icon
02_LGMC_ISCIS.pdf
[MBCD-wodes02] Merseguer, J, Bernardi S, Campos J, Donatelli S.  2002.  A Compositional Semantics for UML State Machines Aimed at Performance Evaluation. :295-302.
0 icon
02_MBCD_WODES.pdf
[910] Ezpeleta, J, Tricas F, García-Vallés F, Colom JM.  2002.  A Banker's Solution for Deadlock Avoidance in FMS with Flexible Routing and Multiresource States. IEEE Transactions on Robotics and Automation. 18(4):621-625.
[1332] García-Vallés, F, Colom JM.  2002.  Checking Redundancies in Supervisory Control. A Complexity Result. 15th Triennial World Congress of the International Federation of Automatic Control (IFAC).
[1327] [Anonymous].  2002.  International Workshop on Discrete Event Systems (WODES'02).
[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.
[1335] Colom, JM, Silva M, Teruel E.  2002.  Properties. Petri Nets for Systems Engineering. A Guide to Modeling, Verification, and Applications. :53-77.
[MayKCCCHD] Mayordomo, E.  2002.  A Kolmogorov complexity characterization of constructive Hausdorff dimension. Information Processing Letters. 84:1-3.
0 icon
02_May_IPL.ps
[IPReJuSi02] Recalde, L, Julvez J, Silva M.  2002.  Steady State Performance evaluation for some continuous Petri nets. :N479.
0 icon
ifac2002.pdf
[IPJuReSi02] Julvez, J, Recalde L, Silva M.  2002.  On deadlock freeness analysis of autonomous and timed continuous mono T semiflow nets. :781-786.
0 icon
cdc2002.pdf
[IPEzRe02] Ezpeleta, J, Recalde L.  2002.  A Deadlock Avoidance Approach for Non Sequential Resource Allocation Systems.
0 icon
02_ER_SMC.pdf
[ARSiRe02] Silva, M, Recalde L.  2002.  Petri nets and integrality relaxations A view of continuous Petri nets. IEEE Trans on Systems Man and Cybernetics. 32:314-327.
0 icon
02_SR_TSMC.pdf
2001
[IPHRRS01] Hillston, J, Recalde L, Ribaudo M, Silva M.  2001.  A Comparison of the Expressiveness of SPA and Bounded SPN models. :197-206.
0 icon
01_HRRS_PNPM.ps
[Cam-EVI-01] Campos, J.  2001.  Evaluación de Prestaciones de Sistemas Concurrentes Modelados con Redes de Petri. :141-156.
0 icon
01_Cam_EVI.pdf
[MCM-MSWiM-01] Merseguer, J, Campos J, Mena E.  2001.  Performance Analysis of Internet Based Software Retrieval Systems Using Petri Nets. :47-56.
0 icon
01_MCM_MSWiM.pdf
[MCM-JJCC-01] Merseguer, J, Campos J, Mena E.  2001.  Web Based Versus Mobile Agent Based Software Retrieval Systems: Performance Comparison. :299-312.
0 icon
01_MCM_JJCC.pdf
[EzNB-01] Ezpeleta, J, Novoa R, Barea MA.  2001.  Una herramienta para el estudio de técnicas de de análisis sintáctico. :53-56.
[ZRS-EKA2001] Zimmermann, A, Rodríguez D, Silva M.  2001.  Ein effizientes Optimierungsverfahren für Petri Netz Modelle von Fertigungssystemen.
0 icon
01_ZRS_EKA.ps
[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
[ZRS-JIM-01] Zimmermann, A, Rodríguez D, Silva M.  2001.  A Two Phase Optimisation Method for Petri Net Models of Manufacturing Systems. Journal of Intelligent Manufacturing. 12:421-432.
0 icon
01_ZRS_JourIM.ps
[IPMoHaSeSi01] Moreaux, P, Haddad S, Sereno M, Silva M.  2001.  Structural Characterisation and Qualitative Properties of Product Form Stochastic Petri Nets.
0 icon
silva.pdf