Coleccon de modelos matematicos de estados finitos de entidades en transicion