Utilización de Redes de Petri para la enseñanza de la concurrencia en la Ingeniería en Computación
Palabras clave:
Programación Concurrente, Redes de Petri, Enseñanza, CompetenciasResumen
La creciente importancia de los sistemas reactivos (SR) y ciberfísicos (CF) ha hecho que el desarrollo práctico de software concurrente sea un componente 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 expresada con 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ñanza de la programación concurrente para obtener código a partir de una RdP. Este enfoque está totalmente integrado, convirtiendo el modelo en código de lógica ejecutable por el lenguaje, lo que permite a los estudiantes interactuar entre el modelo basado en RdP y el código.
Descargas
Publicado
Número
Sección
Licencia
Derechos de autor 2023 Luis Orlando Ventre, Orlando Micolini, Armando Micolini
Esta obra está bajo una licencia internacional Creative Commons Atribución-NoComercial-CompartirIgual 4.0.
Acorde a estos términos, el material se puede compartir (copiar y redistribuir en cualquier medio o formato) y adaptar (remezclar, transformar y crear a partir del material otra obra), siempre que a) se cite la autoría y la fuente original de su publicación (revista y URL de la obra), b) no se use para fines comerciales y c) se mantengan los mismos términos de la licencia.
