Example Data: tmp_hio_tu_IOcontroller_D.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"HioSynth(Transport Unit A,Specification A)__D"
%
% Statistics for HioSynth(Transport Unit A,Specification A)__D
%
% States: 9
% Init/Marked: 1/9
% Events: 8
% Transitions: 15
% StateSymbols: 0
% Attrib. E/S/T: 8/9/0
%
<Alphabet>
"no_op_D" +UP+ "del_tr_D" +UP+ "take_fl_D" +UP+
"empty_D" +YP+ "full_D" +YP+ "idle_D" +YC+
"l2r_D" +UC+ "stby_D" +UC+
</Alphabet>
<States>
1 +QYp+ 2 +QUp+ 3 +QUp+
4 +QUp+ 5 +QUp+ 6 +QYp+
7 +QYcUp+ 8 +QUc+ 9 +QYp+
</States>
<TransRel>
2 "no_op_D" 6
2 "del_tr_D" 6
2 "take_fl_D" 6
3 "del_tr_D" 1
4 "no_op_D" 1
5 "take_fl_D" 9
6 "empty_D" 2
6 "full_D" 2
7 "idle_D" 8
8 "l2r_D" 5
8 "stby_D" 4
1 "empty_D" 7
1 "full_D" 2
9 "empty_D" 2
9 "full_D" 3
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
1 2 3 4 5 6
7 8 9
</MarkedStates>
</Generator>