Detection of Livelocks in Communication Protocols by Means of a Polygon Time Structure