Example Data: tmp_diag_diagnoser_1.gen

Dot-processed graph as SVG-image

Token IO

<Generator>
Diagnoser    

% 
%  Statistics for Diagnoser
% 
%  States:        3
%  Init/Marked:   1/0
%  Events:        2
%  Transitions:   3
%  StateSymbols:  3
%  Attrib. E/S/T: 0/3/0
% 

<Alphabet>
a             b            
</Alphabet>

<States>
s1           
<StateEstimates>
1             
<DiagLabels>
N            
</DiagLabels>
</StateEstimates>
s2           
<StateEstimates>
3             
<DiagLabels>
F1           
</DiagLabels>
5             
<DiagLabels>
N            
</DiagLabels>
</StateEstimates>
s3           
<StateEstimates>
7             
<DiagLabels>
F1            F2           
</DiagLabels>
9             
<DiagLabels>
A            
</DiagLabels>
</StateEstimates>
</States>

<TransRel>
s1            a             s2           
s2            b             s3           
s3            a             s3           
</TransRel>

<InitStates>
s1           
</InitStates>

<MarkedStates/>

<FailureTypes>
F1           
<FailureEvents>
WPblocked     WPfelldown   
</FailureEvents>
F2           
<FailureEvents>
sfRunsContinuously  cb1RunsContinuously 
</FailureEvents>
</FailureTypes>

</Generator>

 

 

libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"