Example Data: tmp_hio_tu_IOenvironmentEF.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"Environment AB__EF__E__F"
%
% Statistics for Environment AB__EF__E__F
%
% States: 14
% Init/Marked: 1/14
% Events: 12
% Transitions: 23
% StateSymbols: 14
% Attrib. E/S/T: 12/0/0
%
<Alphabet>
"nack_E" +UE+ "pack_E" +UE+ "req_fl_E" +YE+
"req_tr_E" +YE+ "nack_F" +UE+ "pack_F" +UE+
"req_fl_F" +YE+ "req_tr_F" +YE+ "req_fl_EF" +YL+
"req_tr_EF" +YL+ "nack_EF" +UL+ "pack_EF" +UL+
</Alphabet>
<States>
"Start" "rqflA_1" "rqflA_2" "rqflA_3" "rqflA_4" "rqtrB_1"
"rqtrB_2" "rqtrB_3" "rqtrB_4" "rqflB" "rqtrA_1" "rqtrA_2"
"rqtrA_4" "err_UE"
</States>
<TransRel>
"Start" "req_fl_E" "rqflA_1"
"Start" "req_tr_E" "rqtrA_1"
"Start" "req_fl_F" "rqflB"
"Start" "req_tr_F" "rqtrB_1"
"rqflA_1" "req_fl_EF" "rqflA_2"
"rqflA_2" "nack_EF" "rqflA_4"
"rqflA_2" "pack_EF" "rqflA_3"
"rqflA_3" "pack_E" "Start"
"rqflA_4" "nack_E" "Start"
"rqtrB_1" "req_tr_EF" "rqtrB_2"
"rqtrB_2" "nack_EF" "rqtrB_4"
"rqtrB_2" "pack_EF" "rqtrB_3"
"rqtrB_3" "pack_F" "Start"
"rqtrB_4" "nack_F" "Start"
"rqflB" "nack_F" "Start"
"rqtrA_1" "pack_E" "rqtrA_2"
"rqtrA_2" "req_fl_E" "err_UE"
"rqtrA_2" "req_tr_E" "err_UE"
"rqtrA_2" "req_fl_F" "rqtrA_4"
"rqtrA_2" "req_tr_F" "err_UE"
"rqtrA_4" "pack_F" "Start"
"err_UE" "nack_E" "rqtrA_2"
"err_UE" "nack_F" "rqtrA_2"
</TransRel>
<InitStates>
"Start"
</InitStates>
<MarkedStates>
"Start" "rqflA_1" "rqflA_2" "rqflA_3" "rqflA_4" "rqtrB_1"
"rqtrB_2" "rqtrB_3" "rqtrB_4" "rqflB" "rqtrA_1" "rqtrA_2"
"rqtrA_4" "err_UE"
</MarkedStates>
</Generator>