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