Example Data: tmp_diag_specification_3_modular_c1.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Generator"   

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

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

<States>
"cb1"         "cb2"         "cb3"         "cb4"         "cb5"         "cb6"         
</States>

<TransRel>
"cb1"         "sf-c1"       "cb2"         
"cb2"         "pass"        "cb4"         
"cb2"         "c1mv"        "cb3"         
"cb3"         "pass"        "cb5"         
"cb4"         "c1mv"        "cb5"         
"cb5"         "c1a"         "cb6"         
"cb6"         "c1s"         "cb1"         
</TransRel>

<InitStates>
"cb1"         
</InitStates>

<MarkedStates>
"cb1"         "cb2"         "cb3"         "cb4"         "cb5"         "cb6"         
</MarkedStates>


</Generator>

 

 

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