// JGraLab - The Java graph laboratory
//   Version : unknown
//   Revision: unknown

TGraph 2;
Schema de.uni_koblenz.statemachine.StateMachineSchema;
GraphClass StateMachine;
VertexClass State { name: String };
EdgeClass Transition from State (0,*) role src to State (0,*) role dst { action: String,  trigger: String };
Graph "73305464-76e460d3-e317b61e-1924fbde" 85 StateMachine (500 500 11 21);
Package ;
1 State <-5 14> "CloseWait";
2 State <-1 6 7 -9 -10 -21> "Closed";
3 State <-8 -13 -17 21> "TimeWait";
4 State <-3 4 5 -19> "Established";
5 State <-6 10 11 12 -20> "Listen";
6 State <13 -15> "FinWait2";
7 State <9 -14> "LastAck";
8 State <-2 -12 18 19 20> "SynReceived";
9 State <8 -16> "Closing";
10 State <1 2 3 -7 -11> "SynSent";
11 State <-4 15 16 17 -18> "FinWait1";
1 Transition "--" "close";
2 Transition "SYN_ACK" "SYN";
3 Transition "ACK" "SYN_ACK";
4 Transition "FIN" "close";
5 Transition "ACK" "FIN";
6 Transition "--" "listen";
7 Transition "SYN" "connect";
8 Transition "--" "ACK";
9 Transition "--" "ACK";
10 Transition "--" "close";
11 Transition "SYN" "send";
12 Transition "SYN_ACK" "SYN";
13 Transition "ACK" "FIN";
14 Transition "FIN" "close";
15 Transition "--" "ACK";
16 Transition "ACK" "FIN";
17 Transition "ACK" "FIN_ACK";
18 Transition "FIN" "close";
19 Transition "--" "ACK";
20 Transition "--" "RST";
21 Transition "--" "TimeoutException";