A tool for the automatic analysis od sequential and parallel communication among protocol entities