Example Data: tmp_mtc_cb4mh1d1_2.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Det(MtcPro(mtcSupConNB((Det(MtcPro(mtcSupConNB((Generator),(Generator||Generator)))) [mtc minstate]: mtcProject||Det(MtcPro(Generator)) [mtc minstate]: mtcProject),(Generator)))) [mtc minstate]: mtcProject" 

% 
%  Statistics for Det(MtcPro(mtcSupConNB((Det(MtcPro(mtcSupConNB((Generator),(Generator||Generator)))) [mtc minstate]: mtcProject||Det(MtcPro(Generator)) [mtc minstate]: mtcProject),(Generator)))) [mtc minstate]: mtcProject
% 
%  States:        5
%  Init/Marked:   1/0
%  Events:        5
%  Transitions:   6
%  StateSymbols:  0
%  Attrib. E/S/T: 4/2/0
% 
%  Colors (all):  1
%  Colors (dist): 0 1 
% 

<Alphabet>
"cb11-cb4"    +C+           "cb12-cb4"    +C+           "cb4-cb11"    +C+           
"cb4-cb12"    +C+           "mh1end"      
</Alphabet>

<States>
1             2             3             
<Colors>
"wpdrilled"   
</Colors>
4             5             
<Colors>
"wpdrilled"   
</Colors>
</States>

<TransRel>
2             "cb4-cb11"    1             
3             "mh1end"      2             
4             "cb4-cb12"    1             
1             "cb11-cb4"    5             
1             "cb12-cb4"    3             
5             "mh1end"      4             
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
</MarkedStates>


</Generator>