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...
Guardado en:
| Autores principales: | , , |
|---|---|
| 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 |