publicações selecionadas Um ambiente de simulação para solução de modelos de redes de petri estocásticas e generalizadas