| |
|
||||||
|
|
|||||||
<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.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"