Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en Computación

La creciente importancia de los sistemas reactivos (SR) y ciberfísicos (CF) ha hecho que el desarrollo práctico de software concurrente sea uncomponente clave en los planes de estudio de informática. En los últimos años, se ha establecido una conexión sólida entre la teoría de la concurrencia expres...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Ventre, Luis Orlando, Micolini, Orlando, Micolini, Armando
Formato: Objeto de conferencia
Lenguaje:Español
Publicado: 2023
Materias:
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/165920
Aporte de:
id I19-R120-10915-165920
record_format dspace
spelling I19-R120-10915-1659202024-05-10T20:05:50Z http://sedici.unlp.edu.ar/handle/10915/165920 Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en Computación Ventre, Luis Orlando Micolini, Orlando Micolini, Armando 2023-09 2023 2024-05-10T18:07:52Z es Ciencias Informáticas Programación Concurrente Redes de Petri Enseñanza Competencias La creciente importancia de los sistemas reactivos (SR) y ciberfísicos (CF) ha hecho que el desarrollo práctico de software concurrente sea uncomponente clave en los planes de estudio de informática. En los últimos años, se ha establecido una conexión sólida entre la teoría de la concurrencia expresadacon redes de Petri (RdP) y la práctica de la implementación de programas concurrentes. Este artículo presenta un mapeo semántico innovador en la enseñanzade la programación concurrente para obtener código a partir de una RdP. Este enfoque está totalmente integrado, convirtiendo el modelo en código delógica ejecutable por el lenguaje, lo que permite a los estudiantes interactuar entre el modelo basado en RdP y el código. Sociedad Argentina de Informática e Investigación Operativa Objeto de conferencia Objeto de conferencia http://creativecommons.org/licenses/by-nc-sa/4.0/ Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) application/pdf 19-22
institution Universidad Nacional de La Plata
institution_str I-19
repository_str R-120
collection SEDICI (UNLP)
language Español
topic Ciencias Informáticas
Programación Concurrente
Redes de Petri
Enseñanza
Competencias
spellingShingle Ciencias Informáticas
Programación Concurrente
Redes de Petri
Enseñanza
Competencias
Ventre, Luis Orlando
Micolini, Orlando
Micolini, Armando
Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en Computación
topic_facet Ciencias Informáticas
Programación Concurrente
Redes de Petri
Enseñanza
Competencias
description La creciente importancia de los sistemas reactivos (SR) y ciberfísicos (CF) ha hecho que el desarrollo práctico de software concurrente sea uncomponente clave en los planes de estudio de informática. En los últimos años, se ha establecido una conexión sólida entre la teoría de la concurrencia expresadacon redes de Petri (RdP) y la práctica de la implementación de programas concurrentes. Este artículo presenta un mapeo semántico innovador en la enseñanzade la programación concurrente para obtener código a partir de una RdP. Este enfoque está totalmente integrado, convirtiendo el modelo en código delógica ejecutable por el lenguaje, lo que permite a los estudiantes interactuar entre el modelo basado en RdP y el código.
format Objeto de conferencia
Objeto de conferencia
author Ventre, Luis Orlando
Micolini, Orlando
Micolini, Armando
author_facet Ventre, Luis Orlando
Micolini, Orlando
Micolini, Armando
author_sort Ventre, Luis Orlando
title Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en Computación
title_short Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en Computación
title_full Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en Computación
title_fullStr Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en Computación
title_full_unstemmed Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en Computación
title_sort utilización de redes de petri para la enseñanza de la concurrencia en la ingeniería en computación
publishDate 2023
url http://sedici.unlp.edu.ar/handle/10915/165920
work_keys_str_mv AT ventreluisorlando utilizacionderedesdepetriparalaensenanzadelaconcurrenciaenlaingenieriaencomputacion
AT micoliniorlando utilizacionderedesdepetriparalaensenanzadelaconcurrenciaenlaingenieriaencomputacion
AT micoliniarmando utilizacionderedesdepetriparalaensenanzadelaconcurrenciaenlaingenieriaencomputacion
_version_ 1807223038490443776