<Generator>
"g_nonmin [minstate]"
%
% Statistics for g_nonmin [minstate]
%
% States: 4
% Init/Marked: 1/1
% Events: 3
% Transitions: 4
% StateSymbols: 4
% Attrib. E/S/T: 0/0/0
%
<Alphabet>
a b c
</Alphabet>
<States>
"{3}" "{1}" "{2,5}" "{4,6}"
</States>
<TransRel>
"{3}" a "{2,5}"
"{1}" a "{2,5}"
"{1}" c "{3}"
"{2,5}" b "{4,6}"
</TransRel>
<InitStates>
"{1}"
</InitStates>
<MarkedStates>
"{1}"
</MarkedStates>
</Generator>
libFAUDES 2.33h --- 2025.06.18 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings"