// 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 "6ea02e1f-9daca256-30732e57-a134d0db" 85 StateMachine (500 500 11 21);
Package ;
1 State <-7 10> "CloseWait";
2 State <-8 -14 -20 21> "TimeWait";
3 State <-1 4 5 -9 -15 -21> "Closed";
4 State <1 2 3 -5 -16> "SynSent";
5 State <14 -19> "Closing";
6 State <-3 6 7 -12> "Established";
7 State <-6 -11 18 19 20> "FinWait1";
8 State <8 -18> "FinWait2";
9 State <9 -10> "LastAck";
10 State <-4 -13 15 16 17> "Listen";
11 State <-2 11 12 13 -17> "SynReceived";
1 Transition "--" "close";
2 Transition "SYN_ACK" "SYN";
3 Transition "ACK" "SYN_ACK";
4 Transition "--" "listen";
5 Transition "SYN" "connect";
6 Transition "FIN" "close";
7 Transition "ACK" "FIN";
8 Transition "ACK" "FIN";
9 Transition "--" "ACK";
10 Transition "FIN" "close";
11 Transition "FIN" "close";
12 Transition "--" "ACK";
13 Transition "--" "RST";
14 Transition "--" "ACK";
15 Transition "--" "close";
16 Transition "SYN" "send";
17 Transition "SYN_ACK" "SYN";
18 Transition "--" "ACK";
19 Transition "ACK" "FIN";
20 Transition "ACK" "FIN_ACK";
21 Transition "--" "TimeoutException";