| |
|
||||||
|
|
|||||||
<Generator name="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>
"{1}" "{2,5}" "{3}" "{4,6}"
</States>
<TransRel>
"{1}" a "{2,5}"
"{1}" c "{3}"
"{2,5}" b "{4,6}"
"{3}" a "{2,5}"
</TransRel>
<InitStates>
"{1}"
</InitStates>
<MarkedStates>
"{1}"
</MarkedStates>
</Generator>
libFAUDES 2.33l --- 2025.09.16 --- with "omegaaut-synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-priorities-luabindings-hybrid-example-pybindings"