Example Data: tmp_diag_system_4_decentralized_c1.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Generator"   

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

<Alphabet>
"sf-c1"       "pass"        +o+           "block"       +o+           "c1a"         
"c1mv"        +C+           "c1s"         +C+           "c1l"         "timer"       
</Alphabet>

<States>
"c1"          "c2"          "c3"          "c4"          "c5"          "c6"          
"c7"          "c8"          "c9"          "c10"         "c11"         
</States>

<TransRel>
"c1"          "sf-c1"       "c2"          
"c1"          "block"       "c8"          
"c2"          "pass"        "c4"          
"c2"          "block"       "c9"          
"c2"          "c1mv"        "c3"          
"c3"          "pass"        "c5"          
"c3"          "block"       "c10"         
"c4"          "c1mv"        "c5"          
"c5"          "c1a"         "c6"          
"c6"          "c1s"         "c7"          
"c7"          "c1l"         "c1"          
"c8"          "sf-c1"       "c9"          
"c9"          "c1mv"        "c10"         
"c10"         "timer"       "c11"         
</TransRel>

<InitStates>
"c1"          
</InitStates>

<MarkedStates>
"c1"          "c2"          "c3"          "c4"          "c5"          "c6"          
"c7"          "c8"          "c9"          "c10"         "c11"         
</MarkedStates>


</Generator>

 

 

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