| |
|
||||||
|
|
|||||||
<Generator> Reconfigurator <Alphabet> a1 a2 A1 A2 a1_v a2_v A1_v A2_v </Alphabet> <States> S1 S2 S3 S4 S5 S6 S7 S8 S9 S10 S11 S12 S13 S14 S15 S16 S17 S18 S19 S20 S21 </States> <TransRel> S1 a1 S16 S2 a2 S3 S3 A1 S1 S3 A2 S18 S4 A2 S14 S5 A1 S7 S6 a1_v S20 S6 a2_v S1 S7 A1_v S6 S8 A2_v S6 S9 A1 S17 S9 A2 S21 S10 a1_v S21 S10 a2_v S12 S11 a1_v S13 S11 a2_v S2 S12 a2 S19 S13 a1 S9 S14 A1_v S10 S15 A2_v S10 S16 A1 S8 S17 A1_v S11 S18 A2_v S11 S19 A2 S15 S20 a1 S5 S21 a2 S4 </TransRel> <InitStates> S11 </InitStates> <MarkedStates> S1 S2 S3 S4 S5 S6 S7 S8 S9 S10 S11 S12 S13 S14 S15 S16 S17 S18 S19 S20 S21 </MarkedStates> </Generator>
libFAUDES 2.32b --- 2024.03.08 --- with "synthesis-observer-diagnosis-iosystem-hiosys-multitasking-coordinationcontrol-timed-iodevice-simulator-luabindings"