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