Example Data: tmp_diag_system_3_modular_c1.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Generator"   

% 
%  Statistics for Generator
% 
%  States:        8
%  Init/Marked:   1/8
%  Events:        7
%  Transitions:   9
%  StateSymbols:  8
%  Attrib. E/S/T: 4/0/0
% 

<Alphabet>
"sf-c1"       "pass"        +o+           "c1a"         "c1mv"        +C+           
"c1s"         +C+           "f_pfd"       +o+           "t_c1"        
</Alphabet>

<States>
"c1"          "cb2"         "cb3"         "cb4"         "cb5"         "cb6"         
"cb7"         "cb8"         
</States>

<TransRel>
"c1"          "sf-c1"       "cb2"         
"cb2"         "pass"        "cb4"         
"cb2"         "c1mv"        "cb3"         
"cb3"         "pass"        "cb5"         
"cb4"         "c1mv"        "cb5"         
"cb5"         "c1a"         "cb6"         
"cb5"         "f_pfd"       "cb7"         
"cb6"         "c1s"         "c1"          
"cb7"         "t_c1"        "cb8"         
</TransRel>

<InitStates>
"c1"          
</InitStates>

<MarkedStates>
"c1"          "cb2"         "cb3"         "cb4"         "cb5"         "cb6"         
"cb7"         "cb8"         
</MarkedStates>


</Generator>

 

 

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