Example Data: tmp_deterministic_det.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"Det(g_nondet)" 

% 
%  Statistics for Det(g_nondet)
% 
%  States:        6
%  Init/Marked:   1/2
%  Events:        11
%  Transitions:   9
%  StateSymbols:  6
%  Attrib. E/S/T: 0/0/0
% 

<Alphabet>
"f"           "g"           "h"           "i"           "a"           "b"           
"d"           "e"           "j"           "k"           "m"           
</Alphabet>

<States>
"{1}"         "{2}"         "{5}"         "{3,4}"       "{6}"         "{4}"         
</States>

<TransRel>
"{1}"         "a"           "{2}"         
"{1}"         "e"           "{5}"         
"{2}"         "f"           "{5}"         
"{2}"         "b"           "{3,4}"       
"{5}"         "g"           "{6}"         
"{3,4}"       "d"           "{4}"         
"{3,4}"       "e"           "{1}"         
"{6}"         "h"           "{5}"         
"{4}"         "e"           "{1}"         
</TransRel>

<InitStates>
"{1}"         
</InitStates>

<MarkedStates>
"{3,4}"       "{4}"         
</MarkedStates>


</Generator>

 

 

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