Example Data: tmp_hio_simpleIoShuffle_AB.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"IoShuffle(hio - simple machine Ahio - simple machine B)"
%
% Statistics for IoShuffle(hio - simple machine Ahio - simple machine B)
%
% States: 33
% Init/Marked: 1/17
% Events: 12
% Transitions: 94
% StateSymbols: 33
% Attrib. E/S/T: 12/33/0
%
<Alphabet>
"A_wait" +YP+ "A_do" +UP+ "A_stp" +UP+
"A_req" +YE+ "A_nack" +UE+ "A_pack" +UE+
"B_wait" +YP+ "B_do" +UP+ "B_stp" +UP+
"B_prov" +YE+ "B_nack" +UE+ "B_pack" +UE+
</Alphabet>
<States>
"1|1|1" +QYpYe+ "2|2|2" +QUp+ "3|3|3" +QUp+
"3|errYp_Ye" +QYpYe+ "3|5|1" +QYpYe+ "3|1|1" +QYpYe+
"5|3|3" +QUp+ "5|errYp_Ye" +QYpYe+ "5|5|1" +QYpYe+
"5|1|1" +QYpYe+ "5|7|3" +QUe+ "5|errYp_Ye_1" +QYpYe+
"5|errUe" +QUe+ "2|errUp" +QUp+ "5|errUp" +QUp+
"2|errYp_Ye" +QYpYe+ "4|errUp" +QUp+ "3|errUp" +QUp+
"4|errYp_Ye" +QYpYe+ "3|7|3" +QUe+ "3|errYp_Ye_1" +QYpYe+
"3|errUe" +QUe+ "2|12|1" +QYpYe+ "2|1|1" +QYpYe+
"4|2|2" +QUp+ "4|12|1" +QYpYe+ "4|1|1" +QYpYe+
"4|13|2" +QUe+ "4|errYp_Ye_1" +QYpYe+ "4|errUe" +QUe+
"2|13|2" +QUe+ "2|errYp_Ye_1" +QYpYe+ "2|errUe" +QUe+
</States>
<TransRel>
"1|1|1" "A_wait" "2|2|2"
"1|1|1" "B_wait" "3|3|3"
"2|2|2" "A_do" "2|12|1"
"2|2|2" "A_stp" "2|1|1"
"2|2|2" "B_do" "2|errYp_Ye"
"2|2|2" "B_stp" "2|errYp_Ye"
"3|3|3" "A_do" "3|errYp_Ye"
"3|3|3" "A_stp" "3|errYp_Ye"
"3|3|3" "B_do" "3|5|1"
"3|3|3" "B_stp" "3|1|1"
"3|errYp_Ye" "A_wait" "2|errUp"
"3|errYp_Ye" "B_wait" "5|errUp"
"3|5|1" "B_prov" "3|7|3"
"3|1|1" "A_wait" "2|2|2"
"3|1|1" "B_wait" "5|3|3"
"5|3|3" "A_do" "5|errYp_Ye"
"5|3|3" "A_stp" "5|errYp_Ye"
"5|3|3" "B_do" "5|5|1"
"5|3|3" "B_stp" "5|1|1"
"5|errYp_Ye" "A_wait" "2|errUp"
"5|errYp_Ye" "B_wait" "5|errUp"
"5|5|1" "B_prov" "5|7|3"
"5|1|1" "A_wait" "2|2|2"
"5|1|1" "B_wait" "5|3|3"
"5|7|3" "A_nack" "5|errYp_Ye_1"
"5|7|3" "A_pack" "5|errYp_Ye_1"
"5|7|3" "B_nack" "5|5|1"
"5|7|3" "B_pack" "5|1|1"
"5|errYp_Ye_1" "A_req" "5|errUe"
"5|errYp_Ye_1" "B_prov" "5|errUe"
"5|errUe" "A_nack" "5|errYp_Ye_1"
"5|errUe" "A_pack" "5|errYp_Ye_1"
"5|errUe" "B_nack" "5|errYp_Ye_1"
"5|errUe" "B_pack" "5|errYp_Ye_1"
"2|errUp" "A_do" "2|errYp_Ye"
"2|errUp" "A_stp" "2|errYp_Ye"
"2|errUp" "B_do" "2|errYp_Ye"
"2|errUp" "B_stp" "2|errYp_Ye"
"5|errUp" "A_do" "5|errYp_Ye"
"5|errUp" "A_stp" "5|errYp_Ye"
"5|errUp" "B_do" "5|errYp_Ye"
"5|errUp" "B_stp" "5|errYp_Ye"
"2|errYp_Ye" "A_wait" "4|errUp"
"2|errYp_Ye" "B_wait" "3|errUp"
"4|errUp" "A_do" "4|errYp_Ye"
"4|errUp" "A_stp" "4|errYp_Ye"
"4|errUp" "B_do" "4|errYp_Ye"
"4|errUp" "B_stp" "4|errYp_Ye"
"3|errUp" "A_do" "3|errYp_Ye"
"3|errUp" "A_stp" "3|errYp_Ye"
"3|errUp" "B_do" "3|errYp_Ye"
"3|errUp" "B_stp" "3|errYp_Ye"
"4|errYp_Ye" "A_wait" "4|errUp"
"4|errYp_Ye" "B_wait" "3|errUp"
"3|7|3" "A_nack" "3|errYp_Ye_1"
"3|7|3" "A_pack" "3|errYp_Ye_1"
"3|7|3" "B_nack" "3|5|1"
"3|7|3" "B_pack" "3|1|1"
"3|errYp_Ye_1" "A_req" "3|errUe"
"3|errYp_Ye_1" "B_prov" "3|errUe"
"3|errUe" "A_nack" "3|errYp_Ye_1"
"3|errUe" "A_pack" "3|errYp_Ye_1"
"3|errUe" "B_nack" "3|errYp_Ye_1"
"3|errUe" "B_pack" "3|errYp_Ye_1"
"2|12|1" "A_req" "2|13|2"
"2|1|1" "A_wait" "4|2|2"
"2|1|1" "B_wait" "3|3|3"
"4|2|2" "A_do" "4|12|1"
"4|2|2" "A_stp" "4|1|1"
"4|2|2" "B_do" "4|errYp_Ye"
"4|2|2" "B_stp" "4|errYp_Ye"
"4|12|1" "A_req" "4|13|2"
"4|1|1" "A_wait" "4|2|2"
"4|1|1" "B_wait" "3|3|3"
"4|13|2" "A_nack" "4|12|1"
"4|13|2" "A_pack" "4|1|1"
"4|13|2" "B_nack" "4|errYp_Ye_1"
"4|13|2" "B_pack" "4|errYp_Ye_1"
"4|errYp_Ye_1" "A_req" "4|errUe"
"4|errYp_Ye_1" "B_prov" "4|errUe"
"4|errUe" "A_nack" "4|errYp_Ye_1"
"4|errUe" "A_pack" "4|errYp_Ye_1"
"4|errUe" "B_nack" "4|errYp_Ye_1"
"4|errUe" "B_pack" "4|errYp_Ye_1"
"2|13|2" "A_nack" "2|12|1"
"2|13|2" "A_pack" "2|1|1"
"2|13|2" "B_nack" "2|errYp_Ye_1"
"2|13|2" "B_pack" "2|errYp_Ye_1"
"2|errYp_Ye_1" "A_req" "2|errUe"
"2|errYp_Ye_1" "B_prov" "2|errUe"
"2|errUe" "A_nack" "2|errYp_Ye_1"
"2|errUe" "A_pack" "2|errYp_Ye_1"
"2|errUe" "B_nack" "2|errYp_Ye_1"
"2|errUe" "B_pack" "2|errYp_Ye_1"
</TransRel>
<InitStates>
"1|1|1"
</InitStates>
<MarkedStates>
"1|1|1" "2|2|2" "3|3|3" "3|errYp_Ye" "3|5|1" "3|1|1"
"2|errUp" "2|errYp_Ye" "3|errUp" "3|7|3" "3|errYp_Ye_1" "3|errUe"
"2|12|1" "2|1|1" "2|13|2" "2|errYp_Ye_1" "2|errUe"
</MarkedStates>
</Generator>