| |
|
||||||
|
|
|||||||
<Generator> "Project(HioSynth(PrefixClosure(HioShuffle(S... Machine_2)) [minstate],Generator))" % % Statistics for Project(HioSynth(PrefixClosure(HioShuffle(S... Machine_2)) [minstate],Generator)) % % States: 15 % Init/Marked: 1/15 % Events: 8 % Transitions: 42 % StateSymbols: 0 % Attrib. E/S/T: 8/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 15 </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 no_op_1 9 5 alpha_2 12 5 no_op_2 9 6 alpha_1 8 6 no_op_1 1 7 no_op_2 8 8 beta_1 4 8 idle_1 2 8 beta_2 2 8 idle_2 7 9 beta_1 2 9 idle_1 4 9 beta_2 2 9 idle_2 5 10 beta_1 15 10 idle_1 2 10 beta_2 7 10 idle_2 2 11 beta_1 2 11 idle_1 15 11 beta_2 5 11 idle_2 2 1 beta_1 2 1 idle_1 6 1 beta_2 2 1 idle_2 14 12 beta_1 2 12 idle_1 13 12 beta_2 14 12 idle_2 2 13 alpha_1 10 13 no_op_1 12 14 no_op_2 1 15 no_op_1 11 </TransRel> <InitStates> 1 </InitStates> <MarkedStates> <Consecutive> 1 15 </Consecutive> </MarkedStates> </Generator>
libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"