<Generator>
"Det(MtcPro(Generator)) [mtc minstate]: mtcProject"
%
% Statistics for Det(MtcPro(Generator)) [mtc minstate]: mtcProject
%
% States: 3
% Init/Marked: 1/0
% Events: 3
% Transitions: 3
% StateSymbols: 3
% Attrib. E/S/T: 0/2/0
%
% Colors (all): 2
% Colors (dist): 0 1
%
<Alphabet>
a b d
</Alphabet>
<States>
"{1}" "{2}"
<Colors>
color2
</Colors>
"{3}"
<Colors>
color3
</Colors>
</States>
<TransRel>
"{1}" a "{2}"
"{2}" b "{3}"
"{3}" d "{1}"
</TransRel>
<InitStates>
"{1}"
</InitStates>
<MarkedStates/>
</Generator>
libFAUDES 2.33h --- 2025.06.18 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings"