You're correct that Patran needs 13 tokens when using MSC One. That message suggests that Patran's looking at a MasterKey token licence - it needs 77 MasterKey (Campus) tokens.
You say you changed the licence server yesterday; what was the change exactly? Do you have MasterKey tokens as well as MSC One tokens? Is Patran looking at the right licence server?
You're correct that Patran needs 13 tokens when using MSC One. That message suggests that Patran's looking at a MasterKey token licence - it needs 77 MasterKey (Campus) tokens.
You say you changed the licence server yesterday; what was the change exactly? Do you have MasterKey tokens as well as MSC One tokens? Is Patran looking at the right licence server?