Example Data: tmp_hio_tu_constrL_AB.gen
Dot-processed graph as SVG-image
Token IO
<Generator>
"Environment Constraint AB"
%
% Statistics for Environment Constraint AB
%
% States: 2
% Init/Marked: 1/2
% Events: 4
% Transitions: 3
% StateSymbols: 2
% Attrib. E/S/T: 4/0/0
%
<Alphabet>
"req_fl_AB" +U+ "req_tr_AB" +U+ "nack_AB" +Y+
"pack_AB" +Y+
</Alphabet>
<States>
"1" "2"
</States>
<TransRel>
"1" "req_fl_AB" "2"
"1" "req_tr_AB" "2"
"2" "pack_AB" "1"
</TransRel>
<InitStates>
"1"
</InitStates>
<MarkedStates>
"1" "2"
</MarkedStates>
</Generator>