> It sounds like the Animal table is going to be the join table between Pet and the different types of animal tables. Correct?

Yes, that is correct.