Voy a presentarles el trabajo que estoy realizando en mi tesis para obtener el grado de Licenciado en Ciencias de la Computación en la Facultad de Ciencias de la Universidad de Santiago de Chile (USACH).
Primero daré las gracias por esta oportunidad a las autoridades de la facultad pues esta tesis debí sacarla hace bastante tiempo ya y la había dejado de lado.
Segundo, doy mi agradecimiento a mi profesor guía Rubén Carvajal-Schiaffino, por la oportunidad que me da de trabajar con él.
Mi tema está en el contexto de las Redes de Petri (RP), que en un post próximo se las presentaré con detalle. Por ahora lo que debemos saber es que las RP alcanzan diferentes estados en base a la ejecución de ciertas transiciones.
Mi tesis busca crear un algoritmo que mejore las formas de almacenamiento de los estados en memoria pues el número de estos estados alcanzados en una RP puede ser muy grande (pensemos en varios millones) y por esto genera "cuellos de botella" en los análisis.
Por ahora esto solamente, en próx. post les diré mi estado de avance y como dije hace un rato, detalles de la RP y su utilización.

salu2