Example Data: tmp_hio_simpleController_A.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"HioSynth(hio - simple machine A,hio - simple specification A)"
%
% Statistics for HioSynth(hio - simple machine A,hio - simple specification A)
%
% States: 7
% Init/Marked: 1/7
% Events: 6
% Transitions: 8
% StateSymbols: 0
% Attrib. E/S/T: 6/7/0
%
<Alphabet>
"A_wait" +YP+ "A_do" +UP+ "A_stp" +UP+
"A_READY" +YC+ "A_STANDBY" +UC+ "A_OPERATE" +UC+
</Alphabet>
<States>
1 +QYp+ 2 +QYp+ 3 +QUp+
4 +QUp+ 5 +QYcUp+ 6 +QUc+
7 +QUp+
</States>
<TransRel>
2 "A_wait" 3
3 "A_do" 1
4 "A_stp" 1
5 "A_READY" 6
6 "A_STANDBY" 4
6 "A_OPERATE" 7
1 "A_wait" 5
7 "A_do" 2
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
1 2 3 4 5 6
7
</MarkedStates>
</Generator>