Example Data: tmp_hiosimplemachine_A_fixed.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"FreeInput(FreeInput(hio - simple machine A))"
%
% Statistics for FreeInput(FreeInput(hio - simple machine A))
%
% States: 6
% Init/Marked: 1/6
% Events: 6
% Transitions: 6
% StateSymbols: 2
% Attrib. E/S/T: 6/6/0
%
<Alphabet>
"A_wait" +YP+ "A_do" +UP+ "A_stp" +UP+
"A_req" +YE+ "A_nack" +UE+ "A_pack" +UE+
</Alphabet>
<States>
"UpError" +Err+ "UeError" +Err+ 3 +QYpYe+
4 +QUp+ 5 +QYpYe+ 6 +QUe+
</States>
<TransRel>
3 "A_wait" 4
4 "A_do" 5
4 "A_stp" "UpError"
5 "A_req" 6
6 "A_nack" "UeError"
6 "A_pack" 3
</TransRel>
<InitStates>
3
</InitStates>
<MarkedStates>
"UpError" "UeError" 3 4 5 6
</MarkedStates>
</Generator>