| |
|
||||||
|
|
|||||||
<Generator> "Project(PrefixClosure(HioShuffle(Simple Mac...Machine_2)) [minstate],Generator)))" % % Statistics for Project(PrefixClosure(HioShuffle(Simple Mac...Machine_2)) [minstate],Generator))) % % States: 13 % Init/Marked: 1/13 % Events: 8 % Transitions: 22 % StateSymbols: 0 % Attrib. E/S/T: 0/0/0 % <Alphabet> alpha_1 beta_1 no_op_1 idle_1 alpha_2 beta_2 no_op_2 idle_2 </Alphabet> <States> <Consecutive> 1 13 </Consecutive> </States> <TransRel> 2 alpha_1 3 2 no_op_1 5 3 beta_1 4 3 beta_2 7 4 no_op_1 9 5 idle_1 2 5 beta_2 12 6 alpha_2 5 6 no_op_2 10 7 no_op_2 8 8 beta_1 13 8 idle_2 7 1 idle_1 11 1 idle_2 12 9 idle_1 4 9 beta_2 6 10 idle_1 13 10 idle_2 6 11 alpha_1 8 11 no_op_1 1 12 no_op_2 1 13 no_op_1 10 </TransRel> <InitStates> 1 </InitStates> <MarkedStates> <Consecutive> 1 13 </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"