<Generator> FullLanguage(NameSet)||E_opcmd||E_cabmot % % Statistics for FullLanguage(NameSet)||E_opcmd||E_cabmot % % States: 5 % Init/Marked: 1/1 % Events: 7 % Transitions: 19 % StateSymbols: 0 % Attrib. E/S/T: 0/0/0 % <Alphabet> c_up c_down c_stp c_arlw c_arup o_upb o_lwb </Alphabet> <States> 1 2 3 4 5 </States> <TransRel> 1 c_arlw 1 1 c_arup 1 1 o_upb 2 1 o_lwb 2 2 c_up 3 2 c_down 4 2 c_arlw 2 2 c_arup 2 2 o_upb 2 2 o_lwb 2 3 c_arup 5 3 o_upb 3 3 o_lwb 3 4 c_arlw 5 4 o_upb 4 4 o_lwb 4 5 c_stp 1 5 o_upb 5 5 o_lwb 5 </TransRel> <InitStates> 1 </InitStates> <MarkedStates> 1 </MarkedStates> </Generator>
libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"