<Generator> "IO shuffle AB" % % Statistics for IO shuffle AB % % States: 37 % Init/Marked: 1/19 % Events: 14 % Transitions: 106 % StateSymbols: 0 % Attrib. E/S/T: 14/0/0 % <Alphabet> nack_A +UE+ pack_A +UE+ req_fl_A +YE+ req_tr_A +YE+ idle_A +YP+ l2r_A +UP+ stby_A +UP+ idle_B +YP+ l2r_B +UP+ stby_B +UP+ req_fl_B +YE+ req_tr_B +YE+ nack_B +UE+ pack_B +UE+ </Alphabet> <States> <Consecutive> 1 37 </Consecutive> </States> <TransRel> 2 nack_A 4 2 pack_A 4 2 nack_B 4 2 pack_B 4 3 idle_A 9 3 idle_B 23 4 req_fl_A 2 4 req_tr_A 2 4 req_fl_B 2 4 req_tr_B 2 5 req_tr_A 17 6 req_fl_A 19 7 idle_A 9 7 idle_B 23 8 idle_A 14 8 idle_B 21 9 l2r_A 6 9 stby_A 7 9 l2r_B 26 9 stby_B 26 10 idle_A 14 10 idle_B 21 11 nack_A 24 11 pack_A 3 11 nack_B 37 11 pack_B 37 12 req_fl_B 28 13 req_tr_B 18 14 l2r_A 25 14 stby_A 25 14 l2r_B 25 14 stby_B 25 15 l2r_A 34 15 stby_A 3 15 l2r_B 25 15 stby_B 25 16 l2r_A 8 16 stby_A 8 16 l2r_B 8 16 stby_B 8 17 nack_A 5 17 pack_A 7 17 nack_B 4 17 pack_B 4 18 nack_A 4 18 pack_A 4 18 nack_B 13 18 pack_B 30 19 nack_A 6 19 pack_A 5 19 nack_B 4 19 pack_B 4 20 l2r_A 26 20 stby_A 26 20 l2r_B 26 20 stby_B 26 21 l2r_A 10 21 stby_A 10 21 l2r_B 10 21 stby_B 10 22 nack_A 37 22 pack_A 37 22 nack_B 31 22 pack_B 29 23 l2r_A 8 23 stby_A 8 23 l2r_B 35 23 stby_B 29 24 req_tr_A 11 25 idle_A 20 25 idle_B 16 26 idle_A 20 26 idle_B 16 27 l2r_A 10 27 stby_A 10 27 l2r_B 12 27 stby_B 30 28 nack_A 4 28 pack_A 4 28 nack_B 12 28 pack_B 13 1 idle_A 15 1 idle_B 23 29 idle_A 15 29 idle_B 27 30 idle_A 15 30 idle_B 27 31 req_tr_B 22 32 nack_A 34 32 pack_A 24 32 nack_B 37 32 pack_B 37 33 nack_A 37 33 pack_A 37 33 nack_B 35 33 pack_B 31 34 req_fl_A 32 35 req_fl_B 33 36 nack_A 37 36 pack_A 37 36 nack_B 37 36 pack_B 37 37 req_fl_A 36 37 req_tr_A 36 37 req_fl_B 36 37 req_tr_B 36 </TransRel> <InitStates> 1 </InitStates> <MarkedStates> 1 3 8 11 14 15 16 22 23 24 25 29 <Consecutive> 31 37 </Consecutive> </MarkedStates> </Generator>
libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"