Example Data: tmp_hio_tu_specAB.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"specAB"
%
% Statistics for specAB
%
% States: 6
% Init/Marked: 1/6
% Events: 7
% Transitions: 9
% StateSymbols: 6
% Attrib. E/S/T: 7/0/0
%
<Alphabet>
"req_fl_AB" +YE+ "req_tr_AB" +YE+ "nack_AB" +UE+
"pack_AB" +UE+ "idle_AB" +YP+ "l2r_AB" +UP+
"stby_AB" +UP+
</Alphabet>
<States>
"1" "2" "3" "4" "5" "6"
</States>
<TransRel>
"1" "idle_AB" "2"
"2" "l2r_AB" "3"
"2" "stby_AB" "1"
"3" "req_fl_AB" "4"
"4" "nack_AB" "3"
"4" "pack_AB" "5"
"5" "req_tr_AB" "6"
"6" "nack_AB" "5"
"6" "pack_AB" "1"
</TransRel>
<InitStates>
"1"
</InitStates>
<MarkedStates>
"1" "2" "3" "4" "5" "6"
</MarkedStates>
</Generator>