Interfaz de usuario para un simulador de redes de Petri coloreadas