Example Data: tmp_hio_tu_ext_loop_A.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"Project(HioSynth(Transport Unit A,Specification A)||Transport Unit A)"
%
% Statistics for Project(HioSynth(Transport Unit A,Specification A)||Transport Unit A)
%
% States: 6
% Init/Marked: 1/6
% Events: 7
% Transitions: 9
% StateSymbols: 0
% Attrib. E/S/T: 0/0/0
%
<Alphabet>
"nack_A" "pack_A" "req_fl_A" "req_tr_A" "idle_A" "l2r_A"
"stby_A"
</Alphabet>
<States>
1 2 3 4 5 6
</States>
<TransRel>
2 "nack_A" 3
2 "pack_A" 4
3 "req_fl_A" 2
4 "req_tr_A" 6
1 "idle_A" 5
5 "l2r_A" 3
5 "stby_A" 1
6 "nack_A" 4
6 "pack_A" 1
</TransRel>
<InitStates>
1
</InitStates>
<MarkedStates>
1 2 3 4 5 6
</MarkedStates>
</Generator>