Example Data: tmp_hiosimplemachine_A.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: 0/0/0
%
<Alphabet>
"A_wait" "A_do" "A_stp" "A_req" "A_nack" "A_pack"
</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>