<Generator> "HioSynth(hio - simple machine A,hio - simple specification A)" % % Statistics for HioSynth(hio - simple machine A,hio - simple specification A) % % States: 7 % Init/Marked: 1/7 % Events: 6 % Transitions: 8 % StateSymbols: 0 % Attrib. E/S/T: 6/7/0 % <Alphabet> A_wait +YP+ A_do +UP+ A_stp +UP+ A_READY +YC+ A_STANDBY +UC+ A_OPERATE +UC+ </Alphabet> <States> 1 +QYp+ 2 +QYp+ 3 +QUp+ 4 +QUp+ 5 +QYcUp+ 6 +QUc+ 7 +QUp+ </States> <TransRel> 2 A_wait 3 3 A_do 1 4 A_stp 1 5 A_READY 6 6 A_STANDBY 4 6 A_OPERATE 7 1 A_wait 5 7 A_do 2 </TransRel> <InitStates> 1 </InitStates> <MarkedStates> 1 2 3 4 5 6 7 </MarkedStates> </Generator>
libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"