<Generator> "HioSynth(Transport Unit A,Specification A)||Transport Unit A" % % Statistics for HioSynth(Transport Unit A,Specification A)||Transport Unit A % % States: 11 % Init/Marked: 1/11 % Events: 12 % Transitions: 14 % StateSymbols: 0 % Attrib. E/S/T: 0/0/0 % <Alphabet> no_op_A del_tr_A take_fl_A empty_A full_A nack_A pack_A req_fl_A req_tr_A idle_A l2r_A stby_A </Alphabet> <States> <Consecutive> 1 11 </Consecutive> </States> <TransRel> 1 empty_A 2 2 idle_A 3 3 l2r_A 4 3 stby_A 5 4 take_fl_A 6 5 no_op_A 1 6 req_fl_A 7 7 nack_A 6 7 pack_A 8 8 full_A 9 9 del_tr_A 10 10 req_tr_A 11 11 nack_A 10 11 pack_A 1 </TransRel> <InitStates> 1 </InitStates> <MarkedStates> <Consecutive> 1 11 </Consecutive> </MarkedStates> </Generator>
libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"