Example Data: tmp_mtc_cb4mh1d1_1_sup.gen

Dot-processed graph as SVG-image

Token IO

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

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

<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             5             
<Colors>
"wpdrilled"   
</Colors>
6             7             8             9             
<Colors>
"wpdrilled"   
</Colors>
10            
</States>

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

<InitStates>
1             
</InitStates>

<MarkedStates>
</MarkedStates>


</Generator>

 

 

libFAUDES 2.18b --- 2010-12-17 --- plugins "example synthesis observer diagnosis hiosys iosystem multitasking timed simulator iodevice luabindings"