<Generator>
Det(Generator)
%
% Statistics for Det(Generator)
%
% States: 4
% Init/Marked: 1/0
% Events: 3
% Transitions: 4
% StateSymbols: 4
% Attrib. E/S/T: 0/4/0
%
% Colors (all): 5
% Colors (dist): 1 2
%
<Alphabet>
a b c
</Alphabet>
<States>
"{1,5}"
<Colors>
c5
</Colors>
"{2,4}"
<Colors>
c4
</Colors>
"{3,4}"
<Colors>
c3 c4
</Colors>
"{6}"
<Colors>
c6a c6b
</Colors>
</States>
<TransRel>
"{1,5}" a "{2,4}"
"{2,4}" b "{3,4}"
"{2,4}" c "{6}"
"{3,4}" c "{6}"
</TransRel>
<InitStates>
"{1,5}"
</InitStates>
<MarkedStates/>
</Generator>
libFAUDES 2.33h --- 2025.06.18 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings"