Example Data: tmp_hio_tu_full_loop_A.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"HioSynth(Transport Unit A,Specification A)||Transport Unit A"
%
% Statistics for HioSynth(Transport Unit A,Specification A)||Transport Unit A
%
% States: 11
% Init/Marked: 1/11
% Events: 12
% Transitions: 14
% StateSymbols: 0
% Attrib. E/S/T: 0/0/0
%
<Alphabet>
"no_op_A" "del_tr_A" "take_fl_A" "empty_A" "full_A" "nack_A"
"pack_A" "req_fl_A" "req_tr_A" "idle_A" "l2r_A" "stby_A"
</Alphabet>
<States>
<Consecutive>
1 11
</Consecutive>
</States>
<TransRel>
1 "empty_A" 2
2 "idle_A" 3
3 "l2r_A" 4
3 "stby_A" 5
4 "take_fl_A" 6
5 "no_op_A" 1
6 "req_fl_A" 7
7 "nack_A" 6
7 "pack_A" 8
8 "full_A" 9
9 "del_tr_A" 10
10 "req_tr_A" 11
11 "nack_A" 10
11 "pack_A" 1
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
<Consecutive>
1 11
</Consecutive>
</MarkedStates>
</Generator>