<Generator> HioFreeInput(HioEnvironment) % % Statistics for HioFreeInput(HioEnvironment) % % States: 6 % Init/Marked: 1/6 % Events: 6 % Transitions: 9 % StateSymbols: 2 % Attrib. E/S/T: 6/6/0 % <Alphabet> ye1 +YE+ ye2 +YE+ yl +YL+ ul1 +UL+ ul2 +UL+ ue +UE+ </Alphabet> <States> UlYeError +ErrQUe+ ErrorQYe +ErrQYe+ 3 +QYe+ 4 +QYlUe+ 5 +QUl+ 6 +QUe+ </States> <TransRel> 3 ye1 4 3 ye2 UlYeError 4 yl 5 5 ul1 6 5 ul2 UlYeError 6 ue 3 UlYeError ue ErrorQYe ErrorQYe ye1 UlYeError ErrorQYe ye2 UlYeError </TransRel> <InitStates> 3 </InitStates> <MarkedStates> UlYeError ErrorQYe 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"