Example Data: tmp_mtc_cb4mh1d1_1.gen

Dot-processed graph as SVG-image

Token IO

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

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

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

<States>
1             
<Colors>
"cb4empty"    
</Colors>
2             3             4             
<Colors>
"cb4empty"    "wpdrilled"   
</Colors>
5             
<Colors>
"wpdrilled"   
</Colors>
6             
<Colors>
"wpdrilled"   
</Colors>
7             
<Colors>
"wpdrilled"   
</Colors>
8             
<Colors>
"wpdrilled"   
</Colors>
9             10            11            
<Colors>
"wpdrilled"   
</Colors>
12            
</States>

<TransRel>
1             "cb11-cb4"    2             
1             "cb12-cb4"    3             
1             "mh1start"    4             
2             "cb4stp"      12            
2             "mh1start"    5             
3             "cb4stp"      9             
3             "mh1start"    6             
4             "cb11-cb4"    5             
4             "cb12-cb4"    6             
4             "mh1end"      1             
5             "cb4stp"      11            
5             "mh1end"      2             
6             "cb4stp"      7             
6             "mh1end"      3             
7             "cb4-cb11"    8             
7             "mh1end"      9             
8             "cb4stp"      4             
8             "mh1end"      10            
9             "cb4-cb11"    10            
9             "mh1start"    7             
10            "cb4stp"      1             
10            "mh1start"    8             
11            "cb4-cb12"    8             
11            "mh1end"      12            
12            "cb4-cb12"    10            
12            "mh1start"    11            
</TransRel>

<InitStates>
1             
</InitStates>

<MarkedStates>
</MarkedStates>


</Generator>

 

 

libFAUDES 2.16b --- 2010-9-8 --- plugins "example synthesis observer diagnosis hiosys multitasking timed simulator iodevice luabindings"