Example Data: tmp_hio_cb_test.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"spec_A||LC_A"
%
% Statistics for spec_A||LC_A
%
% States: 14
% Init/Marked: 1/14
% Events: 15
% Transitions: 19
% StateSymbols: 14
% Attrib. E/S/T: 0/0/0
%
<Alphabet>
"A_reqfl" "A_reqfr" "A_occfr" "A_occfl" "A_freetl" "A_freetr"
"A_nack" "A_pack" "A_STP" "A_TR" "A_FL" "A_WAIT"
"A_FULL" "A_ARRTL" "A_ARRTR"
</Alphabet>
<States>
"1|1" "4|2" "8|1" "13|1" "7|1" "6|3"
"11|4" "14|4" "10|4" "2|5" "9|1" "16|6"
"12|1" "15|1"
</States>
<TransRel>
"1|1" "A_WAIT" "4|2"
"4|2" "A_STP" "1|1"
"4|2" "A_FL" "8|1"
"8|1" "A_reqfl" "13|1"
"13|1" "A_nack" "8|1"
"13|1" "A_pack" "7|1"
"7|1" "A_FULL" "6|3"
"6|3" "A_STP" "11|4"
"11|4" "A_occfl" "14|4"
"14|4" "A_nack" "11|4"
"14|4" "A_pack" "10|4"
"10|4" "A_WAIT" "2|5"
"2|5" "A_STP" "10|4"
"2|5" "A_TR" "9|1"
"9|1" "A_ARRTR" "16|6"
"16|6" "A_STP" "12|1"
"12|1" "A_freetr" "15|1"
"15|1" "A_nack" "12|1"
"15|1" "A_pack" "1|1"
</TransRel>
<InitStates>
"1|1"
</InitStates>
<MarkedStates>
"1|1" "4|2" "8|1" "13|1" "7|1" "6|3"
"11|4" "14|4" "10|4" "2|5" "9|1" "16|6"
"12|1" "15|1"
</MarkedStates>
</Generator>