<Generator> "HioFreeInput(HioFreeInput(hio - simple machine A))" % % Statistics for HioFreeInput(HioFreeInput(hio - simple machine A)) % % States: 6 % Init/Marked: 1/6 % Events: 6 % Transitions: 6 % StateSymbols: 2 % Attrib. E/S/T: 6/6/0 % <Alphabet> A_wait +YP+ A_do +UP+ A_stp +UP+ A_req +YE+ A_nack +UE+ A_pack +UE+ </Alphabet> <States> UpError +ErrQYpYe+ UeError +ErrQYpYe+ 3 +QYpYe+ 4 +QUp+ 5 +QYpYe+ 6 +QUe+ </States> <TransRel> 3 A_wait 4 4 A_do 5 4 A_stp UpError 5 A_req 6 6 A_nack UeError 6 A_pack 3 </TransRel> <InitStates> 3 </InitStates> <MarkedStates> UpError UeError 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"