| |
|
||||||
|
|
|||||||
<Generator> "HioShuffle(Simple Machine_1,Simple Machine_2)" % % Statistics for HioShuffle(Simple Machine_1,Simple Machine_2) % % States: 10 % Init/Marked: 1/10 % Events: 8 % Transitions: 32 % StateSymbols: 0 % Attrib. E/S/T: 12/0/0 % <Alphabet> alpha_1 +UP+ beta_1 +YP+ no_op_1 +UP+ idle_1 +YP+ alpha_2 +UP+ beta_2 +YP+ no_op_2 +UP+ idle_2 +YP+ </Alphabet> <States> <Consecutive> 1 10 </Consecutive> </States> <TransRel> 2 alpha_1 3 2 no_op_1 3 2 alpha_2 3 2 no_op_2 3 3 beta_1 2 3 idle_1 2 3 beta_2 2 3 idle_2 2 4 idle_1 7 4 beta_2 8 5 beta_1 7 5 beta_2 10 1 idle_1 9 1 idle_2 8 6 beta_1 9 6 idle_2 10 7 alpha_1 5 7 no_op_1 4 7 alpha_2 3 7 no_op_2 3 8 alpha_1 3 8 no_op_1 3 8 alpha_2 4 8 no_op_2 1 9 alpha_1 6 9 no_op_1 1 9 alpha_2 3 9 no_op_2 3 10 alpha_1 3 10 no_op_1 3 10 alpha_2 5 10 no_op_2 6 </TransRel> <InitStates> 1 </InitStates> <MarkedStates> <Consecutive> 1 10 </Consecutive> </MarkedStates> </Generator>
libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"