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.