Example Data: tmp_diag_specification_3_modular_sf.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
"R_sf(0)"     

% 
%  Statistics for R_sf(0)
% 
%  States:        8
%  Init/Marked:   1/8
%  Events:        8
%  Transitions:   10
%  StateSymbols:  8
%  Attrib. E/S/T: 5/0/0
% 

<Alphabet>
"sf-c1"       +C+           "sfa"         "sfmv"        +C+           "pass"        
+o+           "sfl"         "sfs"         +C+           "f_pjm"       +o+           
"t_sf"        
</Alphabet>

<States>
"sf1"         "sf2"         "sf3"         "sf4"         "sf5"         "sf6"         
"sf7"         "sf8"         
</States>

<TransRel>
"sf1"         "sfa"         "sf2"         
"sf2"         "sf-c1"       "sf3"         
"sf3"         "sfmv"        "sf4"         
"sf4"         "sfl"         "sf5"         
"sf5"         "sfa"         "sf6"         
"sf5"         "pass"        "sf8"         
"sf6"         "pass"        "sf7"         
"sf7"         "sfs"         "sf2"         
"sf8"         "sfa"         "sf7"         
"sf8"         "sfs"         "sf1"         
</TransRel>

<InitStates>
"sf1"         
</InitStates>

<MarkedStates>
"sf1"         "sf2"         "sf3"         "sf4"         "sf5"         "sf6"         
"sf7"         "sf8"         
</MarkedStates>


</Generator>