<Generator> HioFreeInput(HioController) % % Statistics for HioFreeInput(HioController) % % States: 6 % Init/Marked: 1/6 % Events: 6 % Transitions: 9 % StateSymbols: 2 % Attrib. E/S/T: 6/6/0 % <Alphabet> yp1 +YP+ yp2 +YP+ yc +YC+ uc1 +UC+ uc2 +UC+ up +UP+ </Alphabet> <States> UcYpError +ErrQUp+ ErrorQYp +ErrQYp+ 3 +QYp+ 4 +QYcUp+ 5 +QUc+ 6 +QUp+ </States> <TransRel> 3 yp1 4 3 yp2 UcYpError 4 yc 5 5 uc1 6 5 uc2 UcYpError 6 up 3 UcYpError up ErrorQYp ErrorQYp yp1 UcYpError ErrorQYp yp2 UcYpError </TransRel> <InitStates> 3 </InitStates> <MarkedStates> UcYpError ErrorQYp 3 4 5 6 </MarkedStates> </Generator>
libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"