Example Data: tmp_hio_tu_plantG.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"Transport Unit A__G"
%
% Statistics for Transport Unit A__G
%
% States: 10
% Init/Marked: 1/10
% Events: 9
% Transitions: 14
% StateSymbols: 10
% Attrib. E/S/T: 9/0/0
%
<Alphabet>
"no_op_G" +UP+ "del_tr_G" +UP+ "take_fl_G" +UP+
"empty_G" +YP+ "full_G" +YP+ "nack_G" +UE+
"pack_G" +UE+ "req_fl_G" +YE+ "req_tr_G" +YE+
</Alphabet>
<States>
"1" "2" "3" "4" "5" "6"
"7" "8" "9" "Err"
</States>
<TransRel>
"1" "empty_G" "2"
"2" "no_op_G" "1"
"2" "del_tr_G" "Err"
"2" "take_fl_G" "3"
"3" "req_fl_G" "4"
"4" "nack_G" "3"
"4" "pack_G" "5"
"5" "full_G" "6"
"6" "no_op_G" "5"
"6" "del_tr_G" "7"
"6" "take_fl_G" "Err"
"7" "req_tr_G" "8"
"8" "nack_G" "7"
"8" "pack_G" "1"
</TransRel>
<InitStates>
"1"
</InitStates>
<MarkedStates>
"1" "2" "3" "4" "5" "6"
"7" "8" "9" "Err"
</MarkedStates>
</Generator>