<Generator> Generator % % Statistics for Generator % % States: 6 % Init/Marked: 1/6 % Events: 9 % Transitions: 21 % StateSymbols: 6 % Attrib. E/S/T: 0/0/0 % <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.23h --- 2014.04.03 --- with "synthesis-observer-observability-diagnosis-hiosys-iosystem-multitasking-coordinationcontrol-pushdown-timed-simulator-iodevice-luabindings"