<Generator> "Controller AB__CD__C__D" % % Statistics for Controller AB__CD__C__D % % States: 25 % Init/Marked: 1/25 % Events: 9 % Transitions: 42 % StateSymbols: 0 % Attrib. E/S/T: 9/0/0 % <Alphabet> l2r_A +UP+ stby_A +UP+ idle_B +YP+ l2r_B +UP+ stby_B +UP+ idle_AB +YC+ l2r_AB +UC+ stby_AB +UC+ idle_C +YP+ </Alphabet> <States> <Consecutive> 1 25 </Consecutive> </States> <TransRel> 2 idle_B 10 2 idle_C 3 3 l2r_A 15 3 stby_A 2 4 stby_A 18 4 idle_AB 11 5 l2r_A 15 6 l2r_B 12 7 stby_B 17 7 idle_AB 16 8 idle_AB 16 9 stby_A 15 10 stby_B 14 11 l2r_AB 3 11 stby_AB 21 12 idle_B 23 12 idle_C 19 13 l2r_AB 5 13 stby_AB 21 14 idle_B 10 14 idle_C 5 15 idle_B 6 15 idle_C 9 16 l2r_AB 10 16 stby_AB 20 17 idle_B 7 17 idle_C 22 18 idle_B 8 18 idle_C 4 19 stby_A 18 19 idle_AB 13 20 stby_B 12 21 stby_A 25 22 idle_AB 13 23 stby_B 12 23 idle_AB 16 24 stby_A 25 24 idle_AB 11 25 idle_B 7 25 idle_C 24 1 idle_B 7 1 idle_C 19 </TransRel> <InitStates> 1 </InitStates> <MarkedStates> <Consecutive> 1 25 </Consecutive> </MarkedStates> </Generator>
libFAUDES 2.32f --- 2024.12.22 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings"