Analyzing a TCP/IP-Protocol with Process Mining Techniques · Study