Publications

Export 663 results:
Sort by: Author Title Type [ Year (Desc)]
2004
[ARSiRe04] Silva, M, Recalde L.  2004.  On fluidification of Petri net models: from discrete to hybrid and continuous models. Annual Reviews in Control. 28:253-266.
0 icon
ADHS03_publicado.pdf
[BCDM-TSE] Bernardi, S, Campos J, Donatelli S, Merseguer J.  2004.  GSPN Compositional Semantics for UML Statecharts and Sequence Diagrams.
[IPJiJuReSi04] Jimenez, E, Julvez J, Recalde L, Silva M.  2004.  Relaxed Continuous Views of Discrete Event Systems: considerations in Forrester Diagrams and Petri Nets. :4897-4904.
0 icon
final_SMC04.pdf
2003
[TrEz-03] Tricas, F, Ezpeleta J.  2003.  Some results on siphon computation for deadlock prevention in resource allocation systems modelled with Petri nets. :16-29.
[IPCoGiSeJu03] Corona, D, Giua A, Seatzu C, Julvez J.  2003.  Observers for nondeterministic l-free labeled Petri nets.
0 icon
etfa2003.pdf
[MCM-SCI03] Merseguer, J, Campos J, Mena E.  2003.  A Pattern Based Approach to Model Software Performance Using UML and Petri Nets: Application to Agent Based Systems. 9:307-313.
0 icon
03_MCM_SCI.pdf
[LG03RR1] López-Grao, JP.  2003.  Sketching architectural concerns on distributed discrete event simulation based on Petri Nets.
[EzVa-03] Ezpeleta, J, Valk R.  2003.  A polynomial solution for deadlock avoidance in assembly systems modelled with Petri nets. :1-8.
[MC-SERP03] Merseguer, J, Campos J.  2003.  Exploring Roles for the UML Diagrams in Software Performance Engineering. :43-47.
0 icon
03_MC_SERP.pdf
[IPSiRe03] Silva, M, Recalde L.  2003.  On fluidification of Petri net models: from discrete to hybrid and continuous models. :9-20.
0 icon
adhs03.ps
[MCM-WINET03] Merseguer, J, Campos J, Mena E.  2003.  Analysing Internet Software Retrieval Systems: Modeling and Performance Comparison. Wireless Networks: The Journal of Mobile Communication Computation and Information. 9:223-238.
0 icon
03_MCM_WINET.pdf
[Tricas03] Tricas, F.  2003.  Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems.
[EzGP-03] Ezpeleta, J, Gascón P, Porta N.  2003.  COMPAS: un compilador para un lenguaje imperativo con aserciones embebidas. :47-51.
[GUGC-SEIO03] Uzábal, A, Galé C, Campos J.  2003.  Desarrollo de una herramienta de optimización binivel utilizando CPLEX y MATLAB y generación de problemas de prueba. :2931-2944.
0 icon
03_GUGC_SEIO.pdf
[Merse-Phd] Merseguer, J.  2003.  Software Performance Engineering based on UML and Petri nets.
0 icon
03_Mer_thesis.pdf
[MoEz-03] Moldt, D, Ezpeleta J.  2003.  A Proposal for Flexible Testing of Deadlock Control Strategies in Resource Allocation Systems. :586-595.
[03_TFP_IToSE] Teruel, E, Franceschinis G, Pierro M.  2003.  Well-defined generalized stochastic petri nets: a net-level method to specify priorities. Software Engineering, IEEE Transactions on. 29:962-973.
0 icon
03_TFP_IToSE.pdf
[HiLuMaSDNCb] Hitchcock, JM, Lutz JH, Mayordomo E.  2003.  Scaled dimension and non uniform complexity. 2719:278-290.
[1326] [Anonymous].  2003.  Petri Net Approaches for Modelling and Validation. Lincom Studies in Computer Science. 1
[1330] Colom, JM.  2003.  The Resource Allocation Problem in Flexible Manufacturing Systems. Application and Theory of Petri Nets 2003. :23-35.
[1333] García-Vallés, F, Colom JM.  2003.  Structural Analysis of Signal Transition Graphs based on Linear Algebraic Techniques. Petri Net Approaches for Modelling and Validation. :35-51.
[IPSiRe03b] Silva, M, Recalde L.  2003.  Unforced Continuous Petri Nets and Positive Systems. Lecture Notes in Control and Information Sciences.
0 icon
001IC.ps
[IPGiJuSe03] Giua, A, Julvez J, Seatzu C.  2003.  Marking Estimation of Petri Nets based on Partial Observation. :-.
0 icon
ACC2003.pdf
[IPJuReSi03a] Julvez, J, Recalde L, Silva M.  2003.  On reachability in autonomous continuous Petri net systems.
0 icon
icatpn2003.pdf
[blogtalk] Tricas, F, Ruiz, Merelo.  2003.  Do we live in an Small World? Measuring the Spanish-Speaking Blogosphere