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

Autores
Ventre, Luis Orlando; Micolini, Orlando; Micolini, Armando
Año de publicación
2023
Idioma
español castellano
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripció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 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
Materia
Ciencias Informáticas
Programación Concurrente
Redes de Petri
Enseñanza
Competencias
Nivel de accesibilidad
acceso abierto
Condiciones de uso
http://creativecommons.org/licenses/by-nc-sa/4.0/
Repositorio
SEDICI (UNLP)
Institución
Universidad Nacional de La Plata
OAI Identificador
oai:sedici.unlp.edu.ar:10915/165920
Acceder
id SEDICI_ed2a56c76d6d773047bb9c1223f8d635
oai_identifier_str oai:sedici.unlp.edu.ar:10915/165920
network_acronym_str SEDICI
repository_id_str 1329
network_name_str SEDICI (UNLP)
spelling Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en ComputaciónVentre, Luis OrlandoMicolini, OrlandoMicolini, ArmandoCiencias InformáticasProgramación ConcurrenteRedes de PetriEnseñanzaCompetenciasLa 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 Operativa2023-09info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionObjeto de conferenciahttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf19-22http://sedici.unlp.edu.ar/handle/10915/165920spainfo:eu-repo/semantics/altIdentifier/url/https://publicaciones.sadio.org.ar/index.php/JAIIO/article/view/657info:eu-repo/semantics/altIdentifier/issn/2451-7496info:eu-repo/semantics/openAccesshttp://creativecommons.org/licenses/by-nc-sa/4.0/Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)reponame:SEDICI (UNLP)instname:Universidad Nacional de La Platainstacron:UNLP2025-09-29T11:43:51Zoai:sedici.unlp.edu.ar:10915/165920Institucionalhttp://sedici.unlp.edu.ar/Universidad públicaNo correspondehttp://sedici.unlp.edu.ar/oai/snrdalira@sedici.unlp.edu.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:13292025-09-29 11:43:51.913SEDICI (UNLP) - Universidad Nacional de La Platafalse
dc.title.none.fl_str_mv Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en Computación
title Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en Computación
spellingShingle Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en Computación
Ventre, Luis Orlando
Ciencias Informáticas
Programación Concurrente
Redes de Petri
Enseñanza
Competencias
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
dc.creator.none.fl_str_mv Ventre, Luis Orlando
Micolini, Orlando
Micolini, Armando
author Ventre, Luis Orlando
author_facet Ventre, Luis Orlando
Micolini, Orlando
Micolini, Armando
author_role author
author2 Micolini, Orlando
Micolini, Armando
author2_role author
author
dc.subject.none.fl_str_mv Ciencias Informáticas
Programación Concurrente
Redes de Petri
Enseñanza
Competencias
topic Ciencias Informáticas
Programación Concurrente
Redes de Petri
Enseñanza
Competencias
dc.description.none.fl_txt_mv 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
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.
publishDate 2023
dc.date.none.fl_str_mv 2023-09
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
Objeto de conferencia
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv http://sedici.unlp.edu.ar/handle/10915/165920
url http://sedici.unlp.edu.ar/handle/10915/165920
dc.language.none.fl_str_mv spa
language spa
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://publicaciones.sadio.org.ar/index.php/JAIIO/article/view/657
info:eu-repo/semantics/altIdentifier/issn/2451-7496
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
eu_rights_str_mv openAccess
rights_invalid_str_mv http://creativecommons.org/licenses/by-nc-sa/4.0/
Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)
dc.format.none.fl_str_mv application/pdf
19-22
dc.source.none.fl_str_mv reponame:SEDICI (UNLP)
instname:Universidad Nacional de La Plata
instacron:UNLP
reponame_str SEDICI (UNLP)
collection SEDICI (UNLP)
instname_str Universidad Nacional de La Plata
instacron_str UNLP
institution UNLP
repository.name.fl_str_mv SEDICI (UNLP) - Universidad Nacional de La Plata
repository.mail.fl_str_mv alira@sedici.unlp.edu.ar
_version_ 1844616306496634880
score 13.070432

Publicaciones similares