Publications

Export 653 results:
Sort by: [ Author (Desc)] Title Type Year
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 
Z
[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
[ZRS-Wod00] Zimmermann, A, Rodríguez D, Silva M.  2000.  A Two Phase Optimisation Strategy for DEDS Application to Manufacturing Systems. :291-298.
0 icon
00_ZRS_WODES.ps
[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
[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
R
[RZS-04] Rodríguez, D, Zimmermann A, Silva M.  2004.  Two Heuristics for the Improvement of a Two-Phase Optimization Method for Manufacturing Systems. :1686-1692.
0 icon
RZS-04.pdf
W
[WPPSIM-WOSP-05] Woodside, M, Petriu D, Petriu D, Shen H, Israr T, Merseguer J.  2005.  Performance by Unified Model Analysis (PUMA). :1-12.
0 icon
WPPSIM-WOSP-05.pdf
[1428] WANG, L.  2012.  Report: Decentralized Control of Continuous Petri Nets.
application/pdf icon
report_dc_v3.pdf
[1429] Wang, L.  2012.  Report: Decentralized Control of Continuous Petri Nets.
application/pdf icon
report_dc_v3.pdf
[1507] WANG, L.  2013.  On Minimum-time Control of Continuous Petri nets: Centralized and Decentralized Perspectives. Department of Computer Science and Engineering. :173.
application/pdf icon
tesis_LieweiWang_p1.pdf
application/pdf icon
tesis_LieweiWang_p2.pdf
S
[RP-88-04] Smith, JM, Villarroel JL.  1988.  Merging artificial intelligence techniques and Petri nets for real time scheduling and control of production systems. :528-531.
V
[RP-86-12] Velilla, S, Roy A.  1986.  Almacenamiento de imágenes en un computador PDP-11/34. :67-76.
U
[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
[Urc06] Urcola, P.  2006.  Algoritmos de compresión para secuencias biológicas y su aplicación en árboles filogénicos construidos a partir de ADN mitocondrial.
0 icon
pfcUrcolaCorto2.pdf
T
[Tricas03] Tricas, F.  2003.  Deadlock Analysis, Prevention and Avoidance in Sequential Resource Allocation Systems.
[TricasMartinez95SMC] Tricas, F, Martínez J.  1995.  An Extension of the Liveness Theory for Concurrent Sequential Processes Competing for Shared Resources. :4119-4124.
[blogtalk] Tricas, F, Ruiz, Merelo.  2003.  Do we live in an Small World? Measuring the Spanish-Speaking Blogosphere
M
[cost] Merelo, Tricas F, Ruiz.  2003.  Measuring the Spanish Blogosphere.
T
[RP-95-10] Tricas, F, Martínez J.  1995.  Corrección de programas y Redes de Petri de alto nivel. :184-193.
[RP-95-12] Tricas, F, Martínez J.  1995.  Corrección de programas y redes de Petri de alto nivel. :155-164.
[RP-95-15] Tricas, F, Martínez J.  1995.  Distributed Systems Simulation using High Level Petri Nets. :227-233.
[RP-95-21] Tricas, F, Martínez J.  1995.  An extension of the liveness theory for concurrent sequential processes competing for shared resources. :4119-4124.
[RP-98-02] Tricas, F, Martínez J.  1998.  Distributed control systems simulation using high level Petri nets. Mathematics and Computers in Simulation. 46:47-55.
[IPTeFrDe99] Teruel, E, Franceschinis G, Pierro M.  1999.  Clarifying the Priority Specification of GSPN Detached Priorities. :114-123.
0 icon
99_TFD_PNPM.ps
[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
[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