| |
|
||||||
|
|
|||||||
<Generator>
Det(g_nondet)
%
% Statistics for Det(g_nondet)
%
% States: 6
% Init/Marked: 1/2
% Events: 11
% Transitions: 9
% StateSymbols: 6
% Attrib. E/S/T: 0/0/0
%
<Alphabet>
f g h i a b
d e j k m
</Alphabet>
<States>
"{1}" "{2}" "{5}" "{3,4}" "{6}" "{4}"
</States>
<TransRel>
"{1}" a "{2}"
"{1}" e "{5}"
"{2}" f "{5}"
"{2}" b "{3,4}"
"{5}" g "{6}"
"{3,4}" d "{4}"
"{3,4}" e "{1}"
"{6}" h "{5}"
"{4}" e "{1}"
</TransRel>
<InitStates>
"{1}"
</InitStates>
<MarkedStates>
"{3,4}" "{4}"
</MarkedStates>
</Generator>
libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"