Objetivo
Aplicar redes de Petri en la resolución de problemas Play.

C