| |
|
||||||
|
|
|||||||
<Generator> Generator <Alphabet> a1 a2 A1 A2 F a1_v a2_v A1_v A2_v </Alphabet> <States> S1 S2 S3 S4 S5 S6 </States> <TransRel> S1 A1 S5 S1 A2 S6 S1 F S2 S1 a1_v S3 S1 a2_v S4 S2 a1 S2 S2 a2 S2 S2 A1 S2 S2 A2 S2 S2 a1_v S2 S2 a2_v S2 S2 A1_v S2 S2 A2_v S2 S3 a1 S1 S3 F S2 S4 a2 S1 S4 F S2 S5 F S2 S5 A1_v S1 S6 F S2 S6 A2_v S1 </TransRel> <InitStates> S1 </InitStates> <MarkedStates> S1 S2 S3 S4 S5 S6 </MarkedStates> </Generator>
libFAUDES 2.32b --- 2024.03.01 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-timed-simulator-iodevice-luabindings-hybrid-example-pybindings"