<Generator> "HioSynth(Transport Unit A,Specification A)__D" % % Statistics for HioSynth(Transport Unit A,Specification A)__D % % States: 9 % Init/Marked: 1/9 % Events: 8 % Transitions: 15 % StateSymbols: 0 % Attrib. E/S/T: 8/9/0 % <Alphabet> del_tr_A +UP+ take_fl_A +UP+ empty_A +YP+ full_A +YP+ idle_A +YC+ l2r_A +UC+ stby_A +UC+ no_op_D +UP+ </Alphabet> <States> 1 +QYp+ 2 +QUp+ 3 +QUp+ 4 +QUp+ 5 +QUp+ 6 +QYp+ 7 +QYcUp+ 8 +QUc+ 9 +QYp+ </States> <TransRel> 2 del_tr_A 6 2 take_fl_A 6 2 no_op_D 6 3 del_tr_A 1 4 no_op_D 1 5 take_fl_A 9 6 empty_A 2 6 full_A 2 7 idle_A 8 8 l2r_A 5 8 stby_A 4 1 empty_A 7 1 full_A 2 9 empty_A 2 9 full_A 3 </TransRel> <InitStates> 1 </InitStates> <MarkedStates> 1 2 3 4 5 6 7 8 9 </MarkedStates> </Generator>
libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"