Publications

Export 39 results:
Sort by: Author Title [ Type (Asc)] Year
Filters: First Letter Of Title is A  [Clear All Filters]
Book
[BBBCC-QMIPS-94] Baccelli, F, Balbo G, Boucherie RJ, Campos J, Chiola G.  1994.  Annotated Bibliography on Stochastic Petri Nets. 105:25-44.
0 icon
94_BBBCC_QMIPS.ps
[RP-87-03] Tardós, Silva M.  1987.  Aproximación a los robots inteligentes. :265-279.
[RP-84-01] [Anonymous].  1984.  Automática en la Industria (Proceedings Simposium Nacional IFAC).
Book Chapter
[360] Silva, M, Teruel E.  1994.  Analysis of Autonomous Petri Nets with Bulk Services and Arrivals. 11th Int. Conf. on Analysis and Optimization of Systems. Discrete Event Systems. 199:131-143.
[239] Campos, J, Colom JM, Jungnitz H, Silva M.  1995.  Approximate Throughput Computation of Stochastic Marked Graphs. Quantitative Methods in Parallel Systems. :175-188.
Conference Paper
[1552] Kloetzer, M, Mahulea C.  2015.  Accomplish Multi-Robot Tasks Via Petri Net Models. CASE'2015: IEEE Int. Conf. on Automation Science and Engineering.
[1400] de-Miguel-Casado, G, García-Chamizo JM, Signes-Pont MT.  2007.  Algebraic Model of an Arithmetic Unit for TTE-Computable Normalized Rational Numbers. Computability in Europe 2007.
[1319] Cano, E, Rovetto C, Colom JM.  2010.  An Algorithm to Compute the Minimal Siphons in $S^4PR$ Nets. 10th International Workshop on Discrete Event Systems (WODES’2010). :18-23.
[AESETPBI] Mayordomo, E.  1992.  Almost every set in exponential time is P-bi-immune. 629:392-400.
[975] Martínez, J, Colom JM, Silva M.  1985.  Análisis de programas concurrentes mediante Redes de Petri. VI Congreso de Informática y Automática de la AEIA. :519-523.
[1443] Julvez, J, Vazquez CR, Mahulea C.  2011.  Analysis and Simulation of Manufacturing Systems using SimHPN toolbox. CASE'2011: 7th IEEE Conf. on Automation Science and Engineering.
[PMM-ICPE12] Perez-Palacin, D, Merseguer J, Mirandola R.  2012.  Analysis of Bursty Workload-aware Self-adaptive Systems. Third joint WOSP/SIPEW international conference on Performance Engineering - ICPE. :75-84.
[PJCS-96b] Pérez-Jiménez, CJ, Campos J, Silva M.  1996.  Approximate Throughput Computation of a Class of Cooperating Sequential Processes. :382-389.
0 icon
96_PJCS_b.ps
[RP-92-10] Jungnitz, H, Silva M.  1992.  An aproximation method for the performance analysis of manufacturing systems based on GSPNs. :46-55.
[GMM06] Gómez-Martínez, E, Merseguer J.  2006.  ArgoSPE: Model-based software performance engineering. 4024:401-410.
0 icon
40240401.pdf
[1550] Kloetzer, M, Mahulea C.  2014.  An Assembly Problem with Mobile Robots. ETFA'2014: 19th IEEE International Conference on Emerging Technologies and Factory Automation.
[RP-80-09] Silva, M.  1980.  Autómata programable multicomputador. Valoración de su capacidad de tratamiento. :609-630.
[IPReTeSi99] Recalde, L, Teruel E, Silva M.  1999.  Autonomous Continuous PT systems. 1639:107-126.
0 icon
99_RTS_ICATPN.pdf
Conference Proceedings
[RJ_EPEW10] Rodríguez, RJ, Julvez J.  2010.  Accurate Performance Estimation for Stochastic Marked Graphs by Bottleneck Regrowing. EPEW'10: Proceedings of the 7th European Performance Engineering Workshop. 6342:175--190. Abstract
application/pdf icon
epew_camera_ready.pdf
[1328] Colom, JM, Koutny M.  2001.  Application and Theory of Petri Nets 2001. Lecture Notes in Computer Science. 2075
[1469] Colom, JM, Desel J.  2013.  Application and Theory of Petri Nets and Concurrency. 34th International Conference, PETRI NETS 2013. 7927
Journal Article
[BMP-Models-08] Bernardi, S, Merseguer J, Petriu D.  2008.  Adding Dependability Analysis capabilities to the MARTE profile. LNCS. 5301:736-750.
0 icon
BMP08-MODELS-CR.pdf
[1413] Cano, EE, Rovetto CA, Colom JM.  2012.  An algorithm to compute the minimal siphons in S4PR nets. Discrete Event Dynamic Systems. 22(4):403-428.
[RP-86-12] Velilla, S, Roy A.  1986.  Almacenamiento de imágenes en un computador PDP-11/34. :67-76.
[MayAESET] Mayordomo, E.  1994.  Almost every set in exponential time is P bi immune. Theoretical Computer Science. 136:487-506.
0 icon
94_May_TCS.ps