Example Data: tmp_hio_tu_IOcontroller_H.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"HioSynth(Transport Unit A,Specification A)__H"
%
% Statistics for HioSynth(Transport Unit A,Specification A)__H
%
% States: 9
% Init/Marked: 1/9
% Events: 8
% Transitions: 15
% StateSymbols: 0
% Attrib. E/S/T: 8/9/0
%
<Alphabet>
"del_tr_A" +UP+ "take_fl_A" +UP+ "empty_A" +YP+
"full_A" +YP+ "idle_A" +YC+ "l2r_A" +UC+
"stby_A" +UC+ "no_op_H" +UP+
</Alphabet>
<States>
1 +QYp+ 2 +QUp+ 3 +QUp+
4 +QUp+ 5 +QUp+ 6 +QYp+
7 +QYcUp+ 8 +QUc+ 9 +QYp+
</States>
<TransRel>
2 "del_tr_A" 6
2 "take_fl_A" 6
2 "no_op_H" 6
3 "del_tr_A" 1
4 "no_op_H" 1
5 "take_fl_A" 9
6 "empty_A" 2
6 "full_A" 2
7 "idle_A" 8
8 "l2r_A" 5
8 "stby_A" 4
1 "empty_A" 7
1 "full_A" 2
9 "empty_A" 2
9 "full_A" 3
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
1 2 3 4 5 6
7 8 9
</MarkedStates>
</Generator>